| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Z3 parameters to help it bail out of fruitless searches faster |  mkawa | 2009-12-05 |
| | | | | | | print _all_ the attributes of an assert this time add simpletypes to the visitor | ||
| * | Fixed bug in inlining (procedure *definitions* had been traversed by ↵ | rustanleino | 2009-11-19 |
| | | | | | | | StandardVisitor while visiting commands). This solves Issue #6266. | ||
| * | Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other ↵ | stobies | 2009-09-07 |
| | | | | | bitvector operations | ||
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |