Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
ACCoRD
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
ASP
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
Bernstein
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
CCG
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
LTL
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
MetiTarski
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
ODEs
Add missing summaries and dependencies
January 16, 2023 10:25
PVS0
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
PVSioChecker
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
RELEASE
Updated CHANGES
February 25, 2021 11:03
Riemann
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
Sturm
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
TRS
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
TU_Games
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
Tarski
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
affine_arith
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
algebra
Update dependency files
February 2, 2023 07:34
analysis
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
aviation
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
co_structures
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
complex
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
complex_alt
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
complex_integration
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
dL
Add Liveness subdirectory to dL, with example of dubins path
February 7, 2023 14:29
digraphs
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
docs
Update provethem documentation
August 3, 2022 00:06
exact_real_arith
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
examples
Update example proofs
February 2, 2023 07:35
extended_nnreal
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
fast_approx
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
fault_tolerance
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
float
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
graphs
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
interval_arith
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
ints
Update dependency files
February 2, 2023 07:34
lebesgue
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
line_segments
Update dependency files
February 2, 2023 07:34
linear_algebra
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
lnexp
Update dependency files
February 2, 2023 07:34
matrices
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
measure_integration
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
metric_space
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
mult_poly
Update dependency files
February 2, 2023 07:34
mv_analysis
Add missing summaries and dependencies
January 16, 2023 10:25
numbers
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
orders
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
polygon_merge
Update dependency files
February 2, 2023 07:34
polygons
Update dependency files
February 2, 2023 07:34
power
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
probability
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
pvs-emacs
Update scripts, remove unreachable theories, fix bernstein strategies.
May 4, 2021 10:34
pvs-patches
Add new dependency graph generator (beta)
January 26, 2023 12:10
reals
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
scott
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
series
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
sets_aux
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
shapes
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
sigma_set
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
sorting
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
structures
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
summaries
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
topology
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
trig
Update dependency files
February 2, 2023 07:34
vect_analysis
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
vectors
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
while
Update dependency graphs, summaries, and READMEs
January 16, 2023 10:20
.gitignore
Update scripts, remove unreachable theories, fix bernstein strategies.
May 4, 2021 10:34
.pvs.lisp
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
README.md
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
all-libraries.svg
Add mult_poly to README.md
January 14, 2023 07:37
cleanbin-all
Update scripts, remove unreachable theories, fix bernstein strategies.
May 4, 2021 10:34
dependency-all
Improve dependency-all: label for local collection is set to NASALib
January 16, 2023 10:22
dependencygraph
Improve dependency-all: label for local collection is set to NASALib
January 16, 2023 10:22
find-all
Update scripts, remove unreachable theories, fix bernstein strategies.
May 4, 2021 10:34
groups
Merge groups into algebra library (thanks to Andre L. Galdino, Andrei…
October 9, 2020 07:24
install-scripts
Add snippet to install-scripts to automatically load pvs-emacs/*.el f…
April 22, 2021 14:54
lnexp_fnd
Core version of v7.1.0 (from pvs7.0)
August 21, 2020 16:20
nasalib-version
Updated nasalib-version
April 22, 2021 17:57
nasalib.all
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
nasalib.grandtotals
Restructure floating-point library, add error bounds in axiomatic ver…
February 3, 2023 08:26
prove-all
Update scripts, remove unreachable theories, fix bernstein strategies.
May 4, 2021 10:34
trig_fnd
Added trig_fnd as a link to trig
November 17, 2020 13:19
typecheck-all
Update scripts, remove unreachable theories, fix bernstein strategies.
May 4, 2021 10:34