| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Boogie\VCGeneration: Renaming sources in preparation for my addition of the p... |  tabarbe | 2010-07-28 |
| * | Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn... | akashlal | 2010-07-07 |
| * | Added callee args information to calleeCounterexamples | qadeer | 2010-04-21 |
| * | First cut of lazy inlining. The option can be turned on by the flag /lazyInl... | qadeer | 2010-04-17 |
| * | Boogie: | rustanleino | 2010-02-20 |
| * | (no commit message) | qadeer | 2010-02-12 |
| * | Added code to (once again) print out prover warnings (under the /proverWarnin... | rustanleino | 2009-11-26 |
| * | modified the doom checking. It is now able to report only the relevant statem... | schaef | 2009-11-18 |
| * | Fixes crash when modifies set includes a variable twice. | mkawa | 2009-11-07 |
| * | Use callback mechanism to report prover warnings; do not just write them to s... | stobies | 2009-09-07 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |