summaryrefslogtreecommitdiff
path: root/Source/Core/LinearSets.cs
Commit message (Expand)AuthorAge
* added free ensures to each procedure to compensate for havocing of allocatorGravatar Unknown2013-04-19
* the allocator corresponding to every linear variableGravatar Unknown2013-03-13
* Added explicit mod set analysis calls to OG transform and linear transformGravatar Unknown2013-03-13
* added mod set checking to the linear type checkerGravatar Unknown2013-03-13
* fixed bugs in linear and ogGravatar Unknown2013-03-11
* added support for linear sets without useArrayTheory (but there is some incom...Gravatar Unknown2013-03-07
* in the process of adding support for linear sets without /useArrayTheoryGravatar Unknown2013-03-06
* fixed bugs in both parallel calls and linear stuff (reported by Chris)Gravatar Unknown2013-03-03
* added parallel callsGravatar Unknown2013-03-01
* fixed bugs in typechecking of linear setsGravatar Unknown2013-02-13
* fixed bug in OGGravatar Unknown2013-02-01
* handling old() in stable assertionsGravatar Unknown2013-01-30
* made a whole bunch of changes to linear and og stuffGravatar Unknown2013-01-29
* added owicki-gries and linear-set to boogiedriverGravatar Unknown2013-01-25
* first check in of Owicki-Gries and linear setsGravatar Unknown2013-01-24