Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix lit headers implicitly relying on bash-style constructs | 2015-06-08 | |
* | Language change: All functions and methods declared lexically outside any cla... | 2014-12-12 | |
* | Added computation of free variables in dirty while statements. | 2014-11-06 | |
* | Made dirty statements ghost. | 2014-11-04 | |
* | Added initial support for dirty while statements. | 2014-11-01 | |
* | Added support for 'dirty' forall statements. | 2014-06-03 |