openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
P
PolyCARP
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 13 hours
ago. based on code collected
1 day
ago.
Mar 26, 2023 — Mar 26, 2024
Showing page 1 of 2
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Updated summaies
Cesar Munoz
More...
over 3 years ago
Uddated README
Cesar Munoz
More...
over 3 years ago
Updtaed README
Cesar Munoz
More...
over 3 years ago
Add dependency graphs
Mariano M. Moscato
More...
over 3 years ago
Updated README
Cesar Munoz
More...
over 3 years ago
Updated README
Cesar Munoz
More...
over 3 years ago
Reade for release PVS 7.1.0
Cesar Munoz
More...
over 3 years ago
First version of PolyCARP/PVS that works with PVS 7.1.0
Cesar Munoz
More...
over 3 years ago
Fix proofs (PVS7.0-g762f82aa)
Mariano M. Moscato
More...
over 3 years ago
Update summaries: Grand Totals: 474 proofs / 474 formulas. Missed: 0 formulas. (pvs-7.1-0-gf53d987d)
Mariano M. Moscato
More...
almost 4 years ago
Removed *.dep
Cesar Munoz
More...
almost 4 years ago
Fix proofs in PolyCARP
Mariano M. Moscato
More...
almost 4 years ago
Fix proofs in PolyCARP_analysis
Mariano M. Moscato
More...
almost 4 years ago
Fix proof in FM2019
Mariano M. Moscato
More...
almost 4 years ago
Removed reserved identifiers
Cesar Munoz
More...
about 4 years ago
Update with VCs from the C code generated by the last version of PRECiSA
Mariano M. Moscato
More...
almost 5 years ago
Fix typo in README.md
Mariano M. Moscato
More...
almost 5 years ago
Add README.md to PVS/PolyCARP_analaysis and PVS/FM2019
Mariano M. Moscato
More...
almost 5 years ago
Added missing FM2019 and PolyCARP_analysis theories
C. Munoz
More...
almost 5 years ago
[PVS/analysis] Solved ambiguity that caused typecheck to fail in some cases
Mariano M. Moscato
More...
almost 5 years ago
[PVS] updated all-theories file
Mariano M. Moscato
More...
almost 5 years ago
[PVS/FM2019] Complete artiact accompanying FM2019 submission. Added VCs generated by Frama-C with corresponding proofs.
Mariano M. Moscato
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
Mariano M. Moscato
More...
almost 5 years ago
Added alternative declarations of the winding number on floating point
Mariano M. Moscato
More...
almost 5 years ago
Added FM2019 development
Munoz
More...
almost 5 years ago
Add FM2019 specifications
Marco A. Feliu
More...
almost 5 years ago
Updated README
C. Munoz
More...
over 6 years ago
Updated PVS theories to work with updated nasalib
Cesar Munoz
More...
over 6 years ago
Proved correctness of winding algorithm. Thanks to Alex Combs (NASA)
C. Munoz
More...
over 6 years ago
Updated PVS
C. Munoz
More...
over 6 years ago
←
1
2
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree