A tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. http://lipforge.ens-lyon.fr/www/gappa/
Created attachment 182423 [details] sci-mathematics/gappa/gappa-0.11.0.ebuild A suggested ebuild.
Created attachment 185871 [details] sci-mathematics/gappa/gappa-0.11.0.ebuild A few clean ups Install doc files
Created attachment 208086 [details] sci-mathematics/gappa/gappa-0.12.1.ebuild version bump
Created attachment 208101 [details] sci-mathematics/gappa/gappa-0.12.1.ebuild eapi2 update
In science overlay.