Commits

Commits on Mar 5, 2024

Copy split index when cloning split (boogie-org#854 )
keyboardDrummer
committedMar 5, 2024

Commits on Mar 1, 2024

[Civl] Fixed bug in refinement check for actions (boogie-org#853 )

shazqadeer
and
Shaz Qadeer
committedMar 1, 2024
Add a FromSeed method to IVerificationTask (boogie-org#852 )
keyboardDrummer
committedMar 1, 2024

Commits on Feb 20, 2024

[Civl] New design of permissions (boogie-org#851 )

shazqadeer
and
Shaz Qadeer
committedFeb 20, 2024

Commits on Feb 14, 2024

Allow /prune:0 to disable pruning (boogie-org#848 )
atomb
committedFeb 14, 2024

Commits on Feb 11, 2024

Fix in instantiation hints for polymorphic quantifiers (boogie-org#847 )
shazqadeer
committedFeb 11, 2024
[Civl] use Map type for the abstract channels (boogie-org#846 )
shazqadeer
committedFeb 11, 2024

Commits on Feb 9, 2024

Print resource counts when using -smoke (boogie-org#845 )
atomb
committedFeb 9, 2024

Commits on Feb 2, 2024

Verification task per split (boogie-org#841 )

keyboardDrummer
and
atomb
committedFeb 2, 2024

Commits on Jan 28, 2024

[Civl] eliminate use of Lset (boogie-org#844 )
shazqadeer
committedJan 28, 2024

Commits on Jan 27, 2024

[Civl] eliminate use of Lval (boogie-org#843 )
shazqadeer
committedJan 27, 2024

Commits on Jan 26, 2024

Update README.md (boogie-org#838 )
shazqadeer
committedJan 26, 2024
Rename Outcome to SolverOutcome (boogie-org#842 )
keyboardDrummer
committedJan 26, 2024
Some refactoring in the VCGeneration assembly (boogie-org#840 )
keyboardDrummer
committedJan 26, 2024
[Civl] remove multiple domains in tests (boogie-org#839 )

shazqadeer
and
Shaz Qadeer
committedJan 26, 2024

Commits on Jan 22, 2024

Update Version to 3.0.10 (boogie-org#837 )
Dargones
committedJan 22, 2024
Allow attributes on datatype fields (boogie-org#836 )

shazqadeer
and
Shaz Qadeer
committedJan 22, 2024

Commits on Jan 19, 2024

Use correct flag when checking if captureState assumptions need to be inserted (boogie-org#835 )
Dargones
committedJan 19, 2024

Commits on Jan 16, 2024

[Civl] Simplify and generalize invariants for ticket protocol (boogie-org#834 )

shazqadeer
and
Shaz Qadeer
committedJan 16, 2024

Commits on Jan 13, 2024

[Civl] Fix primitives (boogie-org#833 )

shazqadeer
and
Shaz Qadeer
committedJan 13, 2024
[Civl] Gc cleanup (boogie-org#832 )

shazqadeer
and
Shaz Qadeer
committedJan 13, 2024

Commits on Jan 11, 2024

[Civl] allow variable hiding in action refinement (boogie-org#831 )

shazqadeer
and
Shaz Qadeer
committedJan 11, 2024

Commits on Jan 4, 2024

[Civl] Combine linear heaps and maps into a single abstraction (boogie-org#830 )
shazqadeer
committedJan 4, 2024

Commits on Jan 2, 2024

[Civl] Enhance quantifier elimination (boogie-org#829 )
shazqadeer
committedJan 2, 2024

Commits on Dec 11, 2023

[Civl] Ticket example (boogie-org#828 )
shazqadeer
committedDec 11, 2023

Commits on Dec 10, 2023

[Civl] Add Lmap_Empty (boogie-org#827 )
shazqadeer
committedDec 10, 2023
[Civl] ported sample (boogie-org#826 )
shazqadeer
committedDec 10, 2023
[Civl] Fix Lheap and add Lmap (boogie-org#825 )
shazqadeer
committedDec 10, 2023

Commits on Dec 8, 2023

Don't create trivial labeled assumptions (boogie-org#823 )
atomb
committedDec 8, 2023

Commits on Dec 6, 2023

Fix hanging when solver exits with a non-zero exit code (boogie-org#821 )

atomb
and
keyboardDrummer
committedDec 6, 2023
[Civl] update axioms of finite sets (boogie-org#822 )
shazqadeer
committedDec 6, 2023

Commits on Dec 5, 2023

[Civl] Cleaned up linear primitives (boogie-org#820 )
shazqadeer
committedDec 5, 2023

Commits on Nov 29, 2023

Fix crashes with verification coverage + counterexamples (boogie-org#817 )
atomb
committedNov 29, 2023
[Civl] Cleaned up the ticket sample (boogie-org#818 )
shazqadeer
committedNov 29, 2023

Commits on Nov 25, 2023

[Civl] Misc fixes (boogie-org#816 )
shazqadeer
committedNov 25, 2023