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