summaryrefslogtreecommitdiff
path: root/Test/linear
Commit message (Expand)AuthorAge
* 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