summaryrefslogtreecommitdiff
path: root/Source/Core/LinearSets.cs
Commit message (Expand)AuthorAge
* factored the concurrency checking code into a separate projectGravatar qadeer2013-11-22
* MergeGravatar qadeer2013-10-25
|\
* | a minor refactoring + implemented mover checkingGravatar qadeer2013-10-25
| * change of identifier names in OGGravatar akashlal2013-10-25
|/
* fixed the linear type checking related to globalsGravatar qadeer2013-09-04
* Applied Chris Hawblitzel's changes to deal with {:expand}Gravatar qadeer2013-08-23
* added proper resolution and typechecking for all generated expressionsGravatar qadeer2013-07-29
* added types for all the expressions being added to callsGravatar qadeer2013-07-29
* All ...Seq classes now goneGravatar Ally Donaldson2013-07-22
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Fixes to refactoringGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Refactoring of VariableSeq and TypeSeqGravatar Ally Donaldson2013-07-22
* 1. changed values passed to additional parameters to procedures; async and pa...Gravatar qadeer2013-07-14
* reworked the linear and og implementation based on available variables theoryGravatar Unknown2013-05-18
* fixed bug (reported by Akash) in treatment of linear parameters to callsGravatar Unknown2013-05-06
* fixed bug reported by AkashGravatar Unknown2013-05-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 00:54:50 +0000