| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Better message when an error happens. |  Mike Barnett | 2011-08-15 |
| * | Added references to the AssertionInjector project so it can build again. | Mike Barnett | 2011-08-11 |
| * | (BCT) BREAKING CHANGE |  t-espave | 2011-08-11 |
| * | Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e" | Mike Barnett | 2011-08-06 |
| * | Fix in the assertion injector for putting the output on top of the input | Mike Barnett | 2011-08-01 |
| * | New project to support "Get Me Here": an assertion injector that puts into a | Mike Barnett | 2011-07-27 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |