/src/plugins/salsa - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/salsa @ 9a3c3d8f

Name	Size	Revision	Age	Author	Comment
machine_salsa_opt.ml	22.8 KB	9a3c3d8f	over 7 years	Pierre-Loïc Garoche	on joue avec l'affiche des floats
salsaDatatypes.ml	11.5 KB	9a3c3d8f	over 7 years	Pierre-Loïc Garoche	on joue avec l'affiche des floats
salsa_plugin.ml	1.02 KB	f6acf47b	almost 8 years	Pierre-Loïc Garoche	Plugin based framework

#	Date	Author	Comment
9a3c3d8f	02/02/2016 06:56 PM	Pierre-Loïc Garoche	on joue avec l'affiche des floats
6b686ae9	01/19/2016 11:04 AM	Pierre-Loïc Garoche	- Print the range before/after the transformation of the expression - Use %e to print floating point error
f6acf47b	11/26/2015 06:17 PM	Pierre-Loïc Garoche	Plugin based framework
445e80ae	11/26/2015 05:30 PM	Xavier Thirioux
53206908	11/26/2015 04:45 PM	Xavier Thirioux	major branche merging salsa/mpfr with trunk

Also available in: Atom