Home My Page Projects Gappa
Summary Activity Tracker News SCM Files

Gappa: Project Home - forge_get_config('forge_name')

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 Monitor Download
gappa 1.1.1 March 25, 2014 gappa - Release Notes gappa - Monitor this package gappa 1.1.1 - Download
gappalib-coq 1.0.0 July 19, 2013 gappalib-coq - Release Notes gappalib-coq - Monitor this package gappalib-coq 1.0.0 - Download
interval 1.0.0 April 3, 2014 interval - Release Notes interval - Monitor this package interval 1.0.0 - Download
Public Areas
Tracker Tracker
 SCM Repository (Git: 298 commits, 10 adds)
Latest News

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 -

Gappa Coq library 0.21.1 released

Guillaume Melquiond - 2013-07-03 14:13 -

Gappa Coq library 0.21.0 released

Guillaume Melquiond - 2013-06-25 17:38 -

Gappa 0.18.0 released

Guillaume Melquiond - 2013-06-25 17:35 -

Gappa 0.17.0 released

Guillaume Melquiond - 2013-04-17 13:23 -

Gappa Coq Library 0.19.0 released

Guillaume Melquiond - 2013-04-17 13:23 -

Gappa Coq Library 0.20.0 released

Guillaume Melquiond - 2013-04-17 13:22 -