| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | fixed problems with datatypes |  qadeer | 2011-12-29 |
| * | deleted some commented code | qadeer | 2011-12-28 |
| * | refactored AssertionInjector so that it works directly on bpl files as well | qadeer | 2011-12-26 |
| * | Fixed bug when getting last source context in a method body. |  Mike Barnett | 2011-12-06 |
| * | 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 |