Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix lit test suite when running Boogie under a path that contains | 2014-05-27 | |
| | | | | spaces. | ||
* | Enable as many "og" lit tests. Several fail because they weren't | 2014-05-11 | |
| | | | | | | | | | | | | being executed previously! Boogie :: og/DeviceCacheSimplified.bpl Boogie :: og/DeviceCacheWithBuffer.bpl Boogie :: og/async.bpl Boogie :: og/houd1.bpl Boogie :: og/lock-introduced.bpl Boogie :: og/termination.bpl Boogie :: og/treiber-stack.bpl | ||
* | checkpoint | 2014-05-03 | |
| | |||
* | cleaned up the OG code | 2013-08-07 | |
| | | | | enabled it to be always on | ||
* | added parallel calls | 2013-03-01 | |
| | |||
* | Add another test file | 2013-02-12 | |