Home My Page Projects Gappa
Summary Activity Tracker News 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.2.1 2016-02-08 gappalib-coq - Release Notes gappalib-coq 1.2.1 - Download
gappa 1.2.1 2016-01-26 gappa - Release Notes gappa 1.2.1 - Download
Public Tools
Tracker  Tracker
SCM Repository (Git: 842 updates, 50 adds)
Latest News
rss

Gappa Coq library 1.2.1 released

Guillaume Melquiond - 2016-02-09 08:41 -

Gappa 1.2.1 released

Guillaume Melquiond - 2016-01-26 16:46 -

Gappa Coq library 1.2.0 released

Guillaume Melquiond - 2015-09-16 04:03 -

Gappa Coq library 1.1.0 released

Guillaume Melquiond - 2015-06-02 15:57 -

Gappa 1.2.0 released

Guillaume Melquiond - 2015-06-02 15:56 -

Gappa 1.1.2 released

Guillaume Melquiond - 2014-10-14 08:38 -

Gappa 1.1.1 released

Guillaume Melquiond - 2014-03-25 10:25 -

Gappa 1.1.0 released

Guillaume Melquiond - 2014-01-10 14:43 -

Gappa 1.0.0 released

Guillaume Melquiond - 2013-07-19 15:38 -

Gappa Coq library 1.0.0 released

Guillaume Melquiond - 2013-07-19 15:37 -