Commits

Commits on Jan 26, 2024

Commits on Jan 22, 2024

Update Version to 3.0.10 (#837)
Dargones
authored
Allow attributes on datatype fields (#836)

shazqadeer
and
Shaz Qadeer
authored

Commits on Jan 19, 2024

Use correct flag when checking if captureState assumptions need to be inserted (#835)
Dargones
authored

Commits on Jan 16, 2024

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

shazqadeer
and
Shaz Qadeer
authored

Commits on Jan 13, 2024

[Civl] Fix primitives (#833)

shazqadeer
and
Shaz Qadeer
authored
[Civl] Gc cleanup (#832)

shazqadeer
and
Shaz Qadeer
authored

Commits on Jan 11, 2024

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

shazqadeer
and
Shaz Qadeer
authored

Commits on Jan 4, 2024

[Civl] Combine linear heaps and maps into a single abstraction (#830)
shazqadeer
authored

Commits on Jan 2, 2024

[Civl] Enhance quantifier elimination (#829)
shazqadeer
authored

Commits on Dec 11, 2023

[Civl] Ticket example (#828)
shazqadeer
authored

Commits on Dec 10, 2023

Commits on Dec 8, 2023

Don't create trivial labeled assumptions (#823)
atomb
authored

Commits on Dec 6, 2023

Commits on Dec 5, 2023

[Civl] Cleaned up linear primitives (#820)
shazqadeer
authored

Commits on Nov 29, 2023

Commits on Nov 25, 2023

Commits on Nov 23, 2023

fixed bug in monomorphization (#814)
shazqadeer
authored

Commits on Nov 21, 2023

More thorough checks for exceeding resource limit (#812)
atomb
authored

Commits on Nov 20, 2023

Update version, and remove race condition (#811)
keyboardDrummer
authored

Commits on Nov 19, 2023

added sample
shazqadeer
committed

Commits on Nov 17, 2023

[Civl] relax linear type checking (#810)
shazqadeer
authored

Commits on Nov 16, 2023

Commits on Nov 15, 2023