3 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Vincent Laporte	1f2a3a2df2	gappa: 1.2 -> 1.3.5	2019-06-19 09:24:34 +00:00
Vincent Laporte	9f1eb28a20	Adds gappa 1.2.0 ... Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Homepage: http://gappa.gforge.inria.fr/	2015-05-25 19:32:09 +02:00