Dev - #120

Merged

karthiknukala merged 32 commits into

Aug 6, 2026

Commits on Jun 24, 2026

pvs.lisp: ignoring unparsed-a-tcc? warning every time show-declaration-tcc was called
karthiknukala
committed
8137935

Commits on Jun 29, 2026

Add fix for datatype files generation on Mac and defrequest to handle ppe in server mode
marianomoscato
committed
e3e0550

Commits on Jun 30, 2026

Extrategies: Fixed extra-get-theory
Cesar Munoz
committed
17e4323

Commits on Jul 7, 2026

Commits on Jul 8, 2026

pvs-meta-info: adding git-current-commit-date in ISO format
karthiknukala
committed
12ddd60
pvs-meta-info: add build-date info
marianomoscato
committed
a3e8119

Commits on Jul 9, 2026

Modified editable-justification to default to no-escape? t, as it doubles up on escapes for strings
samowre
committed
6e7121e

Commits on Jul 10, 2026

Fix for handling of var-decls in theories generated by theory-decls
samowre
committed
3d893bf

Commits on Jul 15, 2026

[proveit,provethem] Implemented --purge
Cesar Munoz
committed
21ff497

Commits on Jul 16, 2026

Commits on Jul 17, 2026

Add proof metadata timestamps and fix thread quit handling
marianomoscato
committed
8952cbe

Commits on Jul 18, 2026

Added method for array-expr to substitute for the exprs slot
samowre
committed
3fcaf78
Merge branch 'dev' of github.com:SRI-CSL/PVS into dev
samowre
committed
aa4f5cb

Commits on Jul 20, 2026

[proveit,provethem] Updates scripts.
Cesar Munoz
committed
c9da536

Commits on Jul 28, 2026

Fix issue on parsing after starting a pvsio session in server mode
marianomoscato
committed
7f4448f

Commits on Jul 31, 2026

pvs.lisp: incremental typechecking breaking for non-empty TYPE+
karthiknukala
committed
fded2dc

Commits on Aug 3, 2026

Fixed substit* (application) when conversions are involved
samowre
committed
2614acb
Merge branch 'dev' of github.com:SRI-CSL/PVS into dev
samowre
committed
7698044

Commits on Aug 5, 2026

pvs.lisp: incremental typechecking w/nonempty-type-decls
karthiknukala
committed
330be55
merge
karthiknukala
committed
dd36d2c
Fixed handling of regenerating the refers-to of declarations
samowre
committed
d9699df

Commits on Aug 6, 2026

GH Actions/updating release policies, build metadata.json generation, misc. gitignoring
karthiknukala
committed
ab115f2