Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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. | ||
* | Fix lit test suite when running Boogie under a path that contains | Dan Liew | 2014-05-27 |
| | | | | spaces. | ||
* | Convert the AbsHoudini tests to lit tests. They weren't being run by the old | Dan Liew | 2014-05-27 |
| | | | | | | | | | | | | | | infrastructure so I have not bothered to update the Answer file. These tests are still disabled by the lit.local.cfg file in the AbsHoudini folder because the following tests fail or weren't even being run previously (these are left unresolved because I do not know how these tests are meant to be run) UNRESOLVED: Boogie :: AbsHoudini/f1.bpl (1 of 32) UNRESOLVED: Boogie :: AbsHoudini/imp1.bpl (7 of 32) UNRESOLVED: Boogie :: AbsHoudini/int1.bpl (8 of 32) UNRESOLVED: Boogie :: AbsHoudini/multi.bpl (9 of 32) FAIL: Boogie :: AbsHoudini/quant3.bpl (22 of 32) FAIL: Boogie :: AbsHoudini/quant5.bpl (28 of 32) | ||
* | AbsHoudini: Added support for /inlineDepth, and fixed the regression tests | akashlal | 2013-04-18 |
| | | | | (all pass) | ||
* | Nice clean re-implementation of AbstractHoudini. And tests | akashlal | 2013-04-18 |