summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3api/SafeContext.cs
Commit message (Expand)AuthorAge
* clean up in z3apiGravatar qadeer2011-06-22
* various fixes to port to latest version of Microsoft.Z3.dllGravatar qadeer2011-06-22
* Better support for timeoutGravatar akashlal2011-02-12
* implemented /UseUnsatCoreForInlining option for use in stratified inliningGravatar qadeer2011-02-06
* z3api: Bug fix with timeout. Use CheckAssumptions.Gravatar akashlal2010-12-07
* 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
* changed the procedure Check so that the conflict clause is blocked only when ...Gravatar qadeer2010-11-27
* Some changes to the prover interface to make way for z3-api.Gravatar akashlal2010-11-24
* 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 and logging for z3apiGravatar akashlal2010-08-27
* added some more apis to Z3apiGravatar qadeer2010-08-27
* simplified the push-pop businessGravatar qadeer2010-08-27
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-13 03:03:53 +0000