summaryrefslogtreecommitdiff
path: root/Test/linear
Commit message (Expand)AuthorAge
* changed type checking of yield procedures so that they can only call other yi...Gravatar qadeer2014-12-18
* updateGravatar qadeer2014-11-14
* updated the linear type system based on Chris' design with linear, linear_in,...Gravatar qadeer2014-07-15
* fixed some tests in ogGravatar qadeer2014-07-11
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Enabled "linear type checking" lit tests.Gravatar Dan Liew2014-05-07
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* fixed a bug in desugaring of linear variablesGravatar qadeer2014-02-20
* new design for linear types + VCgenGravatar qadeer2014-02-07
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* fixed the linear type checking related to globalsGravatar qadeer2013-09-04
* cleaned up the OG codeGravatar qadeer2013-08-07
* added types for all the expressions being added to callsGravatar qadeer2013-07-29
* 1. changed values passed to additional parameters to procedures; async and pa...Gravatar qadeer2013-07-14
* fixed bug in reporting the number of typechecking errorsGravatar Unknown2013-05-22
* 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
* added mod set checking to the linear type checkerGravatar Unknown2013-03-13
* fixed bugs in both parallel calls and linear stuff (reported by Chris)Gravatar Unknown2013-03-03
* fixed bugs in typechecking of linear setsGravatar Unknown2013-02-13
* handling old() in stable assertionsGravatar Unknown2013-01-30