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
Commit message (
Expand
)
Author
Age
*
z3api: Bug fix with timeout. Use CheckAssumptions.
akashlal
2010-12-07
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)
akashlal
2010-11-29
*
Added CheckAssumptions api interface
akashlal
2010-11-28
*
added a fix for a bug in the Evaluate function.
qadeer
2010-11-27
*
changed the procedure Check so that the conflict clause is blocked only when ...
qadeer
2010-11-27
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Some changes to the prover interface to make way for z3-api.
akashlal
2010-11-24
*
Boogie: Look for Z3 versions up to 2.20.
wuestholz
2010-11-23
*
Boogie: Changed the trace output formatting of the prover version slightly.
wuestholz
2010-11-11
*
Make the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Boogie:
rustanleino
2010-10-12
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Boogie:
rustanleino
2010-09-24
*
Boogie:
rustanleino
2010-09-23
*
bunch of fixes related to Boogie error model generation from the Z3 error mod...
qadeer
2010-09-03
*
added a new api to Z3apiProcessTheoremProver for asserting axioms
qadeer
2010-08-29
*
created a new build target called z3apidebug.
qadeer
2010-08-29
*
BeginCheck now adds context.Axioms as well as the conjecture to the context.
qadeer
2010-08-29
*
Added a constructor to a contract class otherwise the compiler complained abo...
mikebarnett
2010-08-28
*
Boogie: Simplify: Added a contracts class that I forgot in the initial porting.
tabarbe
2010-08-27
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Removed some errors with code contracts (commenting out doubly-inheri...
tabarbe
2010-08-27
*
fixed bug with function name look up
qadeer
2010-08-27
*
Boogie: Changed the cce classes into one separate project, which every other ...
tabarbe
2010-08-27
*
Boogie: Basetypes port 3/3: Committing changed references
tabarbe
2010-08-27
*
Bug fixes and logging for z3api
akashlal
2010-08-27
*
added some more apis to Z3api
qadeer
2010-08-27
*
Added a (temporary) CCE file so that Z3Api can build.
mikebarnett
2010-08-27
*
simplified the push-pop business
qadeer
2010-08-27
*
Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...
tabarbe
2010-08-27
*
Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...
tabarbe
2010-08-26
*
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
*
Report a bug in Z3 instead of evil input "?"
kyessenov
2010-08-23
*
further fixes to Z3api project trying to make it work; still a long way off.
qadeer
2010-08-23
*
Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...
tabarbe
2010-08-20
*
Boogie: Committing changed references
tabarbe
2010-08-20
*
Added the port of Z3api. It is simply a port to the latest version of Micros...
qadeer
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...
tabarbe
2010-08-19
*
Boogie: Removed a completed task comment
tabarbe
2010-08-19
*
Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us...
MichalMoskal
2010-08-18
*
Make /typeEncoding:m work with arrays
MichalMoskal
2010-08-18
[next]