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.3.0 2016-07-20 gappalib-coq - Release Notes gappalib-coq 1.3.0 - Download
gappa 1.3.0 2016-07-20 gappa - Release Notes gappa 1.3.0 - Download
Public Tools
Tracker  Tracker
SCM Repository (Git: 883 updates, 52 adds)
Latest News
rss

Gappa Coq library 1.3.0 released

Guillaume Melquiond - 2016-07-20 17:05 -

Gappa 1.3.0 released

Guillaume Melquiond - 2016-07-20 17:05 -

Gappa 1.2.2 released

Guillaume Melquiond - 2016-06-22 19:29 -

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 -