summaryrefslogtreecommitdiff
path: root/Source/Provers
Commit message (Expand)AuthorAge
* 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
* bunch of fixes related to Boogie error model generation from the Z3 error mod...Gravatar qadeer2010-09-03
* added a new api to Z3apiProcessTheoremProver for asserting axiomsGravatar qadeer2010-08-29
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* BeginCheck now adds context.Axioms as well as the conjecture to the context.Gravatar qadeer2010-08-29
* Added a constructor to a contract class otherwise the compiler complained abo...Gravatar mikebarnett2010-08-28
* Boogie: Simplify: Added a contracts class that I forgot in the initial porting.Gravatar tabarbe2010-08-27
* 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
* fixed bug with function name look upGravatar qadeer2010-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
* Bug fixes and logging for z3apiGravatar akashlal2010-08-27
* added some more apis to Z3apiGravatar qadeer2010-08-27
* Added a (temporary) CCE file so that Z3Api can build.Gravatar mikebarnett2010-08-27
* simplified the push-pop businessGravatar qadeer2010-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
* Minor additions to z3apiGravatar akashlal2010-08-26
* bug fixes in z3apiGravatar qadeer2010-08-26
* fixed z3api so that it works on small examples now.Gravatar qadeer2010-08-24
* 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: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...Gravatar tabarbe2010-08-20
* Boogie: Committing changed referencesGravatar tabarbe2010-08-20
* Added the port of Z3api. It is simply a port to the latest version of Micros...Gravatar qadeer2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...Gravatar tabarbe2010-08-19
* Boogie: Removed a completed task commentGravatar 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
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* 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
* Made consistent the way all of the C# projects sign themselves and include th...Gravatar mikebarnett2010-07-30
* Boogie: VCGeneration port part 3/3: Updating sources to reference new project...Gravatar tabarbe2010-07-28