Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixes to predication. Patch by Jeroen Ketema. | 2014-03-18 | |
* | More exhaustive generation of assertions during predication. Patch by Jeroen... | 2014-03-14 | |
* | Fix to predication | 2014-03-05 | |
* | Fixes to predication. Patch by Jeroen Ketema. | 2013-11-06 | |
* | ExprSeq: farewell | 2013-07-22 | |
* | BlockSeq: farewell | 2013-07-22 | |
* | CmdSeq: farewell | 2013-07-22 | |
* | Fixes to refactoring | 2013-07-22 | |
* | Started to remove ...Seq classes | 2013-07-22 | |
* | More refactoring towards replacing PureCollections.Sequence with List | 2013-07-22 | |
* | Fixed bug with predication, and fixed small problem with model generation rel... | 2013-03-01 | |
* | Support for "do_not_predicate" in predication of requires and ensures | 2012-12-20 | |
* | A simplification to predication of requires and ensures. | 2012-11-29 | |
* | bunch of refactorings | 2012-10-03 |