summaryrefslogtreecommitdiff
path: root/Test/civl
Commit message (Expand)AuthorAge
* updateGravatar Shaz Qadeer2016-07-19
* updateGravatar Shaz Qadeer2016-07-18
* added an exampleGravatar Shaz Qadeer2016-02-09
* another fixGravatar Shaz Qadeer2016-01-26
* improved some of the annotationsGravatar Shaz Qadeer2016-01-21
* some fixesGravatar Shaz Qadeer2016-01-19
* updated the example to implement the allocation of thread identifiers;Gravatar Shaz Qadeer2016-01-17
* fixed a small problem in the precondition for FreeLinearGravatar Shaz Qadeer2016-01-10
* added Free codeGravatar Shaz Qadeer2016-01-08
* bug fix in the type checking of calls to atomic proceduresGravatar Shaz Qadeer2015-10-16
* bug fixGravatar Shaz Qadeer2015-10-09
* another fix requested by ChrisGravatar Shaz Qadeer2015-10-01
* fixed a small bugGravatar Shaz Qadeer2015-09-27
* added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* fixed a crash when there is no collectorGravatar Shaz Qadeer2015-09-02
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* updated with Serdar's changesGravatar qadeer2015-06-25
* added another sampleGravatar qadeer2015-06-17
* modified desugaring so that in commutatitivity checks copies of originalGravatar qadeer2015-06-17
* fixed bug reported by ChrisGravatar qadeer2015-06-15
* relaxed the check for created and hidden layers for skip actionsGravatar qadeer2015-06-10
* fixed crashGravatar qadeer2015-06-10
* bug fix in popGravatar qadeer2015-05-27
* added more specificationsGravatar qadeer2015-05-20
* renamed og to civlGravatar qadeer2015-04-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 18:36:16 +0000