| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Doomed checking now uses the counterexample trace to minimize the number of ↵ |  schaef | 2009-12-18 |
| | | | | | theorem prover calls (See useCE in notdoomed.bpl). | ||
| * | doomed stuff: minor bug fixes / improved output / more test cases | schaef | 2009-11-19 |
| | | |||
| * | modified the doom checking. It is now able to report only the relevant ↵ | schaef | 2009-11-18 |
| statements and writes them the stdout. Line numbers are only displayed for bpl input. | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |