PropaFP: Auto-active verification of floating-point programs
[ formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers ]
[ Propose Tags ]
Modules
[Index] [Quick Jump]
- PropaFP
Downloads
- PropaFP-0.1.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.2.0 |
---|---|
Change log | ChangeLog.md |
Dependencies | aern2-mfun (>=0.2.9 && <0.3), aern2-mp (>=0.2.9.1 && <0.3), base (>=4.7 && <5), binary (>=0.8.8.0 && <0.9), bytestring (>=0.10.12.1 && <0.11), collect-errors (>=0.1.5 && <0.2), containers (>=0.6.4.1 && <0.7), directory (>=1.3.6.2 && <1.4), extra (>=1.7.10 && <1.8), ghc (>=9.0.2 && <9.1), mixed-types-num (>=0.5.10 && <0.6), optparse-applicative (>=0.16.1.0 && <0.17), process (>=1.6.13.2 && <1.7), PropaFP, QuickCheck (>=2.14.2 && <2.15), regex-tdfa (>=1.3.1.2 && <1.4), scientific (>=0.3.7.0 && <0.4), temporary (>=1.3 && <1.4) [details] |
License | MPL-2.0 |
Copyright | MPL-2.0 |
Author | Junaid Rasheed |
Maintainer | jrasheed178@gmail.com |
Category | Math, Maths, Mathematics, Formal methods, Theorem Provers |
Home page | https://github.com/rasheedja/PropaFP#readme |
Bug tracker | https://github.com/rasheedja/PropaFP/issues |
Source repo | head: git clone https://github.com/rasheedja/PropaFP |
Uploaded | by JunaidRasheed at 2023-03-12T23:28:48Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | propafp-translate-metitarski, propafp-translate-dreal, propafp-run-metitarski, propafp-run-lppaver, propafp-run-dreal, propafp-prettify |
Downloads | 195 total (12 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user [build log] All reported builds failed as of 2023-03-12 [all 2 reports] |