| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added simple python implementation of diff to replace using the |  Dan Liew | 2014-05-27 |
| * | Remove solver executable check under windows at the request | Dan Liew | 2014-05-12 |
| * | Convert houd12.bpl into a OutputCheck style test and also pass | Dan Liew | 2014-05-12 |
| * | Prevent lit tests from running on OSX/Linux if mono is not in | Dan Liew | 2014-05-11 |
| * | Made lit tests slightly less fragile under OSX/Linux by passing flags to ignore | Dan Liew | 2014-05-11 |
| * | Added a sanity check to lit configuration so tests won't run | Dan Liew | 2014-05-10 |
| * | Enabled the inline lit tests. In order to support expansion2.bpl | Dan Liew | 2014-05-07 |
| * | For lit tests running on Windows pass /W flag to the fc tool | Dan Liew | 2014-05-06 |
| * | Pass -useBaseNameForFileName option to Boogie when running tests. | Dan Liew | 2014-04-06 |
| * | Added basic lit configuration file for running tests. | Dan Liew | 2014-04-06 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |