6 commits

Author	SHA1	Message	Date
Vincent Laporte	e57571bdb6	gappa: 1.3.5 → 1.4.0	2021-07-15 07:55:52 +02:00
R. RyanTM	816d212fa2	gappa: 1.3.5 -> 1.4.0	2021-06-16 13:16:13 -07:00
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
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