summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3api/ContextLayer.cs
Commit message (Expand)AuthorAge
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* 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
* bunch of fixes related to Boogie error model generation from the Z3 error mod...Gravatar qadeer2010-09-03
* BeginCheck now adds context.Axioms as well as the conjecture to the context.Gravatar qadeer2010-08-29
* 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
* Added the port of Z3api. It is simply a port to the latest version of Micros...Gravatar qadeer2010-08-20