Commit message (Expand) | Author | Age | |
---|---|---|---|
* | small update to the example | 2014-01-09 | |
* | a fix regarding the checking of assertions in atomic specs at call sites | 2014-01-08 | |
* | first cut of refinement checking | 2014-01-07 | |
* | some more fixes to examples | 2014-01-02 | |
* | fixed examples to deal with yield type checking errors | 2014-01-01 | |
* | more bug fixes | 2013-12-24 | |
* | bug fixes in Duplicate.cs and parsing of invariant attributes | 2013-12-22 | |
* | various updates and tighter integration of QED stuff into mainline | 2013-12-19 | |
* | added syntax for par call and ParCallCmd | 2013-12-16 |