| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Support {:PossiblyUnreachable} attribute on asserts |  MichalMoskal | 2009-11-20 |
| * | modified the doom checking. It is now able to report only the relevant statem... | schaef | 2009-11-18 |
| * | * Boogie and Dafny: added /cev:<file> option | rustanleino | 2009-09-15 |
| * | Dafny: | rustanleino | 2009-09-14 |
| * | Report prover warnings during smoke test via the VerifierCallback | stobies | 2009-09-07 |
| * | Use callback mechanism to report prover warnings; do not just write them to s... | stobies | 2009-09-07 |
| * | Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit... | stobies | 2009-09-07 |
| * | Fixed bug where the remove-empty-blocks optimization had not updated the star... | rustanleino | 2009-08-13 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |