Commits

Commits on Jan 16, 2023

added alloc api
shazqadeer
committedJan 16, 2023

Commits on Jan 15, 2023

renamed Lmap type to Lheap (boogie-org#681 )
shazqadeer
committedJan 15, 2023
moved pool annotations from asserts to assumes in atomic actions
shazqadeer
committedJan 15, 2023

Commits on Jan 14, 2023

[Civl] Fix to heuristic for variable elimination in transition relation computation (boogie-org#677 )
shazqadeer
committedJan 14, 2023
Fix: Error wording closer to semantics (boogie-org#676 )
MikaelMayer
committedJan 14, 2023

Commits on Jan 13, 2023

Rename command-line options for VC randomization (boogie-org#678 )
shazqadeer
committedJan 13, 2023

Commits on Jan 12, 2023

add more tests for monomorphization (boogie-org#680 )
gauravpartha
committedJan 12, 2023

Commits on Jan 11, 2023

Monomorphization of polymorphic maps and binders (boogie-org#669 )

shazqadeer
and
gauravpartha
committedJan 11, 2023

Commits on Jan 5, 2023

remove <:, extends, complete (boogie-org#667 )
shazqadeer
committedJan 5, 2023

Commits on Dec 30, 2022

Updated Z3 to version 4.11.2 (boogie-org#672 )

rakamaric
and
shazqadeer
committedDec 30, 2022

Commits on Dec 29, 2022

Rework tracing to exclude SMT setup times (boogie-org#632 )
cpitclaudel
committedDec 29, 2022

Commits on Dec 27, 2022

update (boogie-org#673 )
shazqadeer
committedDec 27, 2022

Commits on Dec 24, 2022

remove unused local variable
shazqadeer
committedDec 24, 2022

Commits on Dec 19, 2022

Fix test for PR boogie-org#664 (boogie-org#668 )
atomb
committedDec 19, 2022

Commits on Dec 15, 2022

added pool hints to reduce flakiness (boogie-org#666 )
shazqadeer
committedDec 15, 2022
adding vc split option to reduce flakiness and running time
shazqadeer
committedDec 15, 2022

Commits on Dec 12, 2022

Emit axioms only for types used in program (boogie-org#664 )

atomb
and
keyboardDrummer
committedDec 12, 2022

Commits on Dec 11, 2022

Refactoring to enable monomorphization of polymorphic maps and binders (boogie-org#665 )
shazqadeer
committedDec 11, 2022

Commits on Dec 9, 2022

update (boogie-org#663 )
shazqadeer
committedDec 9, 2022

Commits on Dec 2, 2022

Refactor so that TypeAttr in MapAssignLhs and FieldAssignLhs is (boogie-org#662 )
shazqadeer
committedDec 2, 2022

Commits on Dec 1, 2022

Add field update expression (boogie-org#661 )
shazqadeer
committedDec 1, 2022

Commits on Nov 28, 2022

Release version 2.16.0 (boogie-org#657 )
MikaelMayer
committedNov 28, 2022

Commits on Nov 26, 2022

removed stale ifdef code (boogie-org#658 )
shazqadeer
committedNov 26, 2022
[Civl] Miscellaneous cleanup (boogie-org#655 )
shazqadeer
committedNov 26, 2022

Commits on Nov 20, 2022

[Civl] New implementation of Treiber stack based on nested linear maps (boogie-org#654 )
shazqadeer
committedNov 20, 2022

Commits on Nov 17, 2022

first commit (boogie-org#653 )
shazqadeer
committedNov 17, 2022

Commits on Nov 16, 2022

updates to quantifier instantiation and variable elimination during transition relation computation (boogie-org#652 )
shazqadeer
committedNov 16, 2022

Commits on Nov 15, 2022

added support for multiple libraries (boogie-org#651 )
shazqadeer
committedNov 15, 2022
bug fixes
shazqadeer
committedNov 15, 2022

Commits on Nov 13, 2022

added yield_preserves
shazqadeer
committedNov 13, 2022
added yield invariant
shazqadeer
committedNov 13, 2022
[Civl] Support for well-formed predicate on a linear map (boogie-org#649 )
shazqadeer
committedNov 13, 2022

Commits on Nov 12, 2022

[Civl] Replace the use of commutativity witnesses with pools (boogie-org#648 )
shazqadeer
committedNov 12, 2022

Commits on Nov 10, 2022

handled TypeSynonymDecl appropriately
shazqadeer
committedNov 10, 2022
changed signature of Lmap_Read and Lmap_Write
shazqadeer
committedNov 10, 2022