From Fedora Project Wiki
(Replaced content with "{{header|docs}} {{Docs_beat_open}} Category:Docs Project Category:Draft documentation Category:Documentation beats") |
No edit summary |
||
| Line 2: | Line 2: | ||
{{Docs_beat_open}} | {{Docs_beat_open}} | ||
== gappa == | |||
'''gappa''' is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Fedora 16 upgrades to version 0.15.0. The project's web site may be found at [http://gappa.gforge.inria.fr/ http://gappa.gforge.inria.fr/]. | |||
Revision as of 15:13, 29 August 2011
Beat is open
This beat is now ready to have Fedora 25 content added by the beat writer
This beat is now ready to have Fedora 25 content added by the beat writer
gappa
gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Fedora 16 upgrades to version 0.15.0. The project's web site may be found at http://gappa.gforge.inria.fr/.