Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | update | 2016-07-19 | |
| | |||
* | update | 2016-07-18 | |
| | |||
* | added an example | 2016-02-09 | |
| | |||
* | another fix | 2016-01-26 | |
| | |||
* | improved some of the annotations | 2016-01-21 | |
| | |||
* | some fixes | 2016-01-19 | |
| | |||
* | updated the example to implement the allocation of thread identifiers; | 2016-01-17 | |
| | | | | | this example provides another illustration of abstracting ordinary variables by linear variables | ||
* | fixed a small problem in the precondition for FreeLinear | 2016-01-10 | |
| | |||
* | added Free code | 2016-01-08 | |
| | |||
* | bug fix in the type checking of calls to atomic procedures | 2015-10-16 | |
| | |||
* | bug fix | 2015-10-09 | |
| | |||
* | another fix requested by Chris | 2015-10-01 | |
| | | | | verification is performed now for all created layers | ||
* | fixed a small bug | 2015-09-27 | |
| | |||
* | added introduced and ghost local variables | 2015-09-25 | |
| | |||
* | fixed a crash when there is no collector | 2015-09-02 | |
| | |||
* | Normalise line endings using a .gitattributes file. Unfortunately | 2015-06-28 | |
| | | | | | | this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored. | ||
* | updated with Serdar's changes | 2015-06-25 | |
| | |||
* | added another sample | 2015-06-17 | |
| | |||
* | modified desugaring so that in commutatitivity checks copies of original | 2015-06-17 | |
| | | | | codeexpr is made. | ||
* | fixed bug reported by Chris | 2015-06-15 | |
| | |||
* | relaxed the check for created and hidden layers for skip actions | 2015-06-10 | |
| | |||
* | fixed crash | 2015-06-10 | |
| | |||
* | bug fix in pop | 2015-05-27 | |
| | |||
* | added more specifications | 2015-05-20 | |
| | |||
* | renamed og to civl | 2015-04-22 | |