1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 12:02:47 +00:00
Commit graph

1 commit

Author SHA1 Message Date
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