Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project description

Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.

Latest File Releases
Package Version Date Notes Download
interval 1.0.0 2014-04-03 interval - Release Notes interval 1.0.0 - Download
gappalib-coq 1.4.6 2021-01-04 gappalib-coq - Release Notes gappalib-coq 1.4.6 - Download
gappa 1.4.0 2021-04-16 gappa - Release Notes gappa 1.4.0 - Download
Public Tools
Tracker  Tracker
SCM Repository (Git: 938 updates, 54 adds)