summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3
Commit message (Expand)AuthorAge
* bunch of refactoringsGravatar Unknown2012-10-03
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* Boogie: output number of proof obligations (asserts) along with timing inform...Gravatar Rustan Leino2012-01-09
* Boogie: Get rid of {:ignore} feature on axiomsGravatar Michal Moskal2011-10-27
* 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
* fixed bug in vcgen for bitvectorsGravatar qadeer2011-07-09
* Update the RECENT_Z3 #define to include SORT_AND_ORGravatar Michal Moskal2011-06-30
* Re-enabled quantifier checking in the Checked configuration.Gravatar mikebarnett2011-03-16
* Turn off quantifier checking in the runtime checking.Gravatar mikebarnett2011-03-14
* Replaced all dictionaries that mapped to bool (i.e., were being used to imple...Gravatar mikebarnett2011-03-10
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Added a new solution configuration, Checked, that builds the Checked configur...Gravatar mikebarnett2011-03-07
* Allow recent Z3 versions to be usedGravatar MichalMoskal2011-02-21
* Move model printing to ErrorModel classGravatar MichalMoskal2011-02-21
* Provide /p: as the short form of /proverOpt:.Gravatar MichalMoskal2011-02-17
* Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...Gravatar MichalMoskal2011-02-11
* Use a made-up name when Context.Lookup() cannot find a nameGravatar MichalMoskal2010-12-10
* Don't crash in Context.Lookup when the namer has never seen the name. This ha...Gravatar MichalMoskal2010-12-10
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Boogie:Gravatar rustanleino2010-10-12
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* Boogie:Gravatar rustanleino2010-09-24
* Boogie:Gravatar rustanleino2010-09-23
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Boogie: Removed some errors with code contracts (commenting out doubly-inheri...Gravatar tabarbe2010-08-27
* Boogie: Changed the cce classes into one separate project, which every other ...Gravatar tabarbe2010-08-27
* Boogie: Basetypes port 3/3: Committing changed referencesGravatar tabarbe2010-08-27
* Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...Gravatar tabarbe2010-08-27
* Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...Gravatar tabarbe2010-08-26
* Report a bug in Z3 instead of evil input "?"Gravatar kyessenov2010-08-23
* further fixes to Z3api project trying to make it work; still a long way off.Gravatar qadeer2010-08-23
* Boogie: Committing changed referencesGravatar tabarbe2010-08-20
* Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...Gravatar tabarbe2010-08-19
* Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us...Gravatar MichalMoskal2010-08-18
* Make /typeEncoding:m work with arraysGravatar MichalMoskal2010-08-18
* Boogie: Committing changed referencesGravatar tabarbe2010-08-13
* Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...Gravatar MichalMoskal2010-08-06
* Fixup line-endings.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: The deletion of those files did not hold, lemme try again.Gravatar tabarbe2010-07-30
* Boogie: Removed cce.cs's from the provers, because they all reference project...Gravatar tabarbe2010-07-30