| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fixed bugs in inlining, and added a test case. |  rustanleino | 2009-10-14 |
| * | Added /z3lets switch, which governs which kinds of LET expressions are sent t... | rustanleino | 2009-10-04 |
| * | Added /z3multipleErrors flag for generation of multiple counterexamples per a... | mkawa | 2009-09-23 |
| * | * Boogie and Dafny: added /cev:<file> option | rustanleino | 2009-09-15 |
| * | Dafny: | rustanleino | 2009-09-14 |
| * | Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit... | stobies | 2009-09-07 |
| * | Sign assemblies | stobies | 2009-08-17 |
| * | Changes needed in order to build Boogie using a freshly built Spec# compiler ... | mikebarnett | 2009-08-10 |
| * | Fixed problem where nullary function with definition had caused a crash. | rustanleino | 2009-08-07 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |