P

pvslib

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 13 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 02, 2023 — May 02, 2024 Showing page 8 of 32 Search / Filter on:
Fixed loop in dl-ghost and other strategies	Cesar Munoz	More...				8 months ago
Updated summaries	Cesar Munoz	More...				8 months ago
Added support for PVSioKeyVal	Cesar Munoz	More...				8 months ago
Moved PVSioChecker to pvsio_utils, added PVSioKeyVal, and added support for mutable variables as stacks	Cesar A. Munoz	More...				8 months ago
fix dl_solution add dl_following_buffer example	Joseph Slagel	More...				8 months ago
proved the equality lemmas for DIFF, working on SEQ and changed the examples some	@lmwhite3	More...				8 months ago
prove Star rule and termination rule	Joseph Slagel	More...				8 months ago
Added PVSioKeyVal	Cesar Munoz	More...				8 months ago
Added support for global variables as stacks	Cesar Munoz	More...				8 months ago
Fixed a typo	Cesar Munoz	More...				8 months ago
Fixing some proofs	Cesar Munoz	More...				8 months ago
WIP	Cesar Munoz	More...				8 months ago
Fixed dl-difinv strategy but still broken proofs	Cesar Munoz	More...				8 months ago
Added pvsio_utils library and moved PVSioChecker and PVSioCSV to this library. Added "missing" PVSio functionality to pvsio_utils/*. Added scripts pvsio-regresion, which provides basic regression capabilities to PVSio, and find-pvslib, which provides support for sub-libraries. Fixed several issues in PVSio.	Cesar A. Munoz	More...				8 months ago
Prove Trace semantics correct	Laura Titolo	More...				9 months ago
Prove trace semantics correctness	Laura Titolo	More...				9 months ago
fixed merge	Joseph Slagel	More...				9 months ago
Proved concatination of solutions is still solution, added analysis files to support	Joseph Slagel	More...				9 months ago
added the dual lemmas and proved them for TEST and ASSIGN	@lmwhite3	More...				9 months ago
dtl2: prove trace_semantics_correct_diff	Laura Titolo	More...				9 months ago
dtl2: proof completeness wip	Laura Titolo	More...				9 months ago
dtl2: proof correctness seq	Laura Titolo	More...				9 months ago
working on rules	@lmwhite3	More...				9 months ago
Merge branch 'dl-trace-semantics' of gitlab.larc.nasa.gov:larc-nia-fm/pvslib into dl-trace-semantics commit before pull, trace_semantics summary file deleted	@lmwhite3	More...				9 months ago
concatination of solutions of an ode	@lmwhite3	More...				9 months ago
dTL2: trace semantics correctness wip	Laura Titolo	More...				9 months ago
Added pvsio-regression	Cesar Munoz	More...				9 months ago
Updated patches	Cesar A. Munoz	More...				9 months ago
Updated 7.1 patches	Cesar A. Munoz	More...				9 months ago
Install script updated	Cesar Munoz	More...				9 months ago

←
1
2
3
4
5
6
7
8
9
10
11
12
…
31
32
→