summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3
Commit message (Expand)AuthorAge
* Added /z3lets switch, which governs which kinds of LET expressions are sent t...Gravatar rustanleino2009-10-04
* Handle new Z3 'Memout' message.Gravatar stobies2009-09-30
* Fixed some bugs in the generation of bitvector input for Z3.Gravatar rustanleino2009-09-29
* Added /z3multipleErrors flag for generation of multiple counterexamples per a...Gravatar mkawa2009-09-23
* Use callback mechanism to report prover warnings; do not just write them to s...Gravatar stobies2009-09-07
* Improve token-dumping in the inspector interfaceGravatar MichalMoskal2009-08-18
* Sign assembliesGravatar stobies2009-08-17
* Initial set of files.Gravatar mikebarnett2009-07-15