Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn... | 2010-07-07 | |
* | Boogie: | 2010-06-08 | |
* | Updated to find the latest version of Z3 (2.7) and made the algorithm slightl... | 2010-05-28 | |
* | Updated to find the latest version of Z3 (2.6). | 2010-05-02 | |
* | First cut of lazy inlining. The option can be turned on by the flag /lazyInl... | 2010-04-17 | |
* | Look for Boogie.exe also in Program Files (x86) | 2009-11-03 | |
* | Changed how Boogie looks for Z3: first look in the directory where Boogie is... | 2009-10-14 | |
* | Added /z3lets switch, which governs which kinds of LET expressions are sent t... | 2009-10-04 | |
* | Use callback mechanism to report prover warnings; do not just write them to s... | 2009-09-07 | |
* | Sign assemblies | 2009-08-17 | |
* | Initial set of files. | 2009-07-15 |