| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | bunch of refactorings |  Unknown | 2012-10-03 |
| * | Fixed issue with uniformity analysis and block merging. Uniformity analysis |  Unknown | 2012-09-24 |
| * | Uniformity analysis. Patch by Peter Collingbourne. |  Unknown | 2012-09-18 |
| * | Smart block predicator: track parents, and use to emit the invariant that if ... |  Peter Collingbourne | 2012-08-06 |
| * | Smart block predicator: move *Map from parameters to fields | Peter Collingbourne | 2012-08-06 |
| * | Smart block predicator: drop the unused createCandidateInvariants parameter | Peter Collingbourne | 2012-08-06 |
| * | VCGeneration: implement smart predication | Peter Collingbourne | 2012-07-30 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |