index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Provers
/
Z3api
/
ProverLayer.cs
Commit message (
Expand
)
Author
Age
*
implemented /UseUnsatCoreForInlining option for use in stratified inlining
qadeer
2011-02-06
*
Use a made-up name when Context.Lookup() cannot find a name
MichalMoskal
2010-12-10
*
Don't crash in Context.Lookup when the namer has never seen the name. This ha...
MichalMoskal
2010-12-10
*
z3api: Bug fix with timeout. Use CheckAssumptions.
akashlal
2010-12-07
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
Added CheckAssumptions api interface
akashlal
2010-11-28
*
Some changes to the prover interface to make way for z3-api.
akashlal
2010-11-24
*
added a new api to Z3apiProcessTheoremProver for asserting axioms
qadeer
2010-08-29
*
BeginCheck now adds context.Axioms as well as the conjecture to the context.
qadeer
2010-08-29
*
Bug fixes and logging for z3api
akashlal
2010-08-27
*
added some more apis to Z3api
qadeer
2010-08-27
*
simplified the push-pop business
qadeer
2010-08-27
*
Minor additions to z3api
akashlal
2010-08-26
*
bug fixes in z3api
qadeer
2010-08-26
*
fixed z3api so that it works on small examples now.
qadeer
2010-08-24
*
further fixes to Z3api project trying to make it work; still a long way off.
qadeer
2010-08-23
*
Added the port of Z3api. It is simply a port to the latest version of Micros...
qadeer
2010-08-20