| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Added /z3lets switch, which governs which kinds of LET expressions are sent ↵ |  rustanleino | 2009-10-04 |
| | | | | | to Z3. By default, both LET TERM and LET FORMULA expressions are used. Mode /z3lets:2 uses only LET FORMULA, which works around a current Z3 issue with LET expressions and nested quantifiers. | ||
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |