Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix lit test suite when running Boogie under a path that contains | 2014-05-27 | |
* | Enabled VC Generation lit tests. | 2014-05-07 | |
* | Add description of {:selective_checking} to the /attrHelp. Fix the testcase. | 2011-01-13 | |
* | Add new feature: {:selective_checking} on procedures. See testcase for a desc... | 2010-12-17 |