Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fixed my earlier to make it nicer | Shaz Qadeer | 2015-09-03 |
| | |||
* | fixed a crash when there is no collector | Shaz Qadeer | 2015-09-02 |
| | |||
* | Normalise line endings using a .gitattributes file. Unfortunately | Dan Liew | 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. | ||
* | fixed bug due to incomplete erasure of :linear attribute | qadeer | 2014-12-05 |
| | |||
* | Did more refactoring and addressed several todos. | wuestholz | 2014-09-23 |
| | |||
* | Did more refactoring. | wuestholz | 2014-09-23 |
| | |||
* | Did some refactoring. | wuestholz | 2014-09-23 |
| | |||
* | updated the linear type system based on Chris' design with linear, ↵ | qadeer | 2014-07-15 |
| | | | | linear_in, linear_out | ||
* | fixed a regression failure | qadeer | 2014-07-15 |
| | |||
* | simplified yield type chcking and added treiber stack (not fully done) | qadeer | 2014-07-15 |
| | |||
* | fixed some tests in og | qadeer | 2014-07-11 |
| | | | | | added another test in linear (based on bug reported by Chris) removed the QED build configuration | ||
* | a small fix | qadeer | 2014-05-21 |
| | |||
* | fixed some bugs in the previous check ins | qadeer | 2014-04-16 |
| | |||
* | added more types to constructed expressions | qadeer | 2014-04-15 |
| | |||
* | (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions ↵ | Rustan Leino | 2014-02-24 |
| | | | | | | of its methods now demand the return value to equal the given node. Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor. | ||
* | fixed a bug in desugaring of linear variables | qadeer | 2014-02-20 |
| | |||
* | new design for linear types + VCgen | qadeer | 2014-02-07 |
| | | | | | ported all the examples added the QED examples to runtest.bat | ||
* | various bug fixes | qadeer | 2014-01-21 |
| | | | | added "cnst" feature | ||
* | bug fix: if an absy is not reachable, make the set of available vars empty at it | qadeer | 2014-01-21 |
| | |||
* | added syntax for par call and ParCallCmd | qadeer | 2013-12-16 |
| | |||
* | some refactoring of QED stuff | qadeer | 2013-12-10 |
| | |||
* | factored the concurrency checking code into a separate project | qadeer | 2013-11-22 |