0
I Use This!
Inactive

Commits : Listings

Analyzed about 13 hours ago. based on code collected 1 day ago.
Mar 26, 2023 — Mar 26, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Updated summaies More... over 3 years ago
Uddated README More... over 3 years ago
Updtaed README More... over 3 years ago
Add dependency graphs More... over 3 years ago
Updated README More... over 3 years ago
Updated README More... over 3 years ago
Reade for release PVS 7.1.0 More... over 3 years ago
First version of PolyCARP/PVS that works with PVS 7.1.0 More... over 3 years ago
Fix proofs (PVS7.0-g762f82aa) More... over 3 years ago
Update summaries: Grand Totals: 474 proofs / 474 formulas. Missed: 0 formulas. (pvs-7.1-0-gf53d987d) More... almost 4 years ago
Removed *.dep More... almost 4 years ago
Fix proofs in PolyCARP More... almost 4 years ago
Fix proofs in PolyCARP_analysis More... almost 4 years ago
Fix proof in FM2019 More... almost 4 years ago
Removed reserved identifiers More... about 4 years ago
Update with VCs from the C code generated by the last version of PRECiSA More... almost 5 years ago
Fix typo in README.md More... almost 5 years ago
Add README.md to PVS/PolyCARP_analaysis and PVS/FM2019 More... almost 5 years ago
Added missing FM2019 and PolyCARP_analysis theories More... almost 5 years ago
[PVS/analysis] Solved ambiguity that caused typecheck to fail in some cases More... almost 5 years ago
[PVS] updated all-theories file More... almost 5 years ago
[PVS/FM2019] Complete artiact accompanying FM2019 submission. Added VCs generated by Frama-C with corresponding proofs. More... almost 5 years ago
Added analysis folder to the PVS development. It contains the application of a modification on the transformation presented in LOPSTR 2018 More... almost 5 years ago
Added alternative declarations of the winding number on floating point More... almost 5 years ago
Added FM2019 development More... almost 5 years ago
Add FM2019 specifications More... almost 5 years ago
Updated README More... over 6 years ago
Updated PVS theories to work with updated nasalib More... over 6 years ago
Proved correctness of winding algorithm. Thanks to Alex Combs (NASA) More... over 6 years ago
Updated PVS More... over 6 years ago