gitlab.inria.fr / gappa / gappa
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
JSON API: https://data.code.gouv.fr/api/v1/hosts/gitlab.inria.fr/repositories/gappa%2Fgappa
Stars: 1
Forks: 1
Open issues:
License: cecill-2.1
Language:
Dependencies parsed at: Pending
Created at: about 6 years ago
Updated at: 10 months ago
Last synced at: 7 months ago
Loading...