summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3/Prover.cs
Commit message (Expand)AuthorAge
* bunch of refactoringsGravatar Unknown2012-10-03
* Boogie: internal clean-up, removed BvHandling type, everything now behaves as...Gravatar Rustan Leino2011-10-27
* deleted lazyinlining option 2 and 3Gravatar qadeer2011-08-17
* Update the RECENT_Z3 #define to include SORT_AND_ORGravatar Michal Moskal2011-06-30
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Allow recent Z3 versions to be usedGravatar MichalMoskal2011-02-21
* Move model printing to ErrorModel classGravatar MichalMoskal2011-02-21
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Boogie:Gravatar rustanleino2010-10-12
* Boogie:Gravatar rustanleino2010-09-24
* Boogie:Gravatar rustanleino2010-09-23
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Report a bug in Z3 instead of evil input "?"Gravatar kyessenov2010-08-23
* Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...Gravatar tabarbe2010-08-19
* Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...Gravatar MichalMoskal2010-08-06
* Boogie: added /z3bv option that overrides the current setting of Z3 options f...Gravatar stobies2010-08-06
* Remove support for Z3 V1 and clean up parameter processing code for Z3Gravatar stobies2010-08-06
* Boogie: cleanup option handling code for Z3Gravatar stobies2010-08-05
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: Committing ported version of Z3.Gravatar tabarbe2010-07-20
* Boogie: Let's try that rename again, shall we?Gravatar tabarbe2010-07-20
* Boogie: Rename didn't work. Resetting to try againGravatar tabarbe2010-07-20
* Boogie/Z3: Renaming the sources for Z3 in preparation for commit of my port o...Gravatar tabarbe2010-07-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 00:45:24 +0000