summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3api
Commit message (Expand)AuthorAge
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)Gravatar akashlal2010-11-29
* Added CheckAssumptions api interfaceGravatar akashlal2010-11-28
* added a fix for a bug in the Evaluate function.Gravatar qadeer2010-11-27
* changed the procedure Check so that the conflict clause is blocked only when ...Gravatar qadeer2010-11-27
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Some changes to the prover interface to make way for z3-api.Gravatar akashlal2010-11-24
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* 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
* 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: 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
* 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
* Added the port of Z3api. It is simply a port to the latest version of Micros...Gravatar qadeer2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 20:13:18 +0000