| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |