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
..
default.nix