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
/
Simplify
/
ProverInterface.cs
Commit message (
Expand
)
Author
Age
*
Boogie: Yet another refinement of how Z3 is found. Previously, it would only...
rustanleino
2011-02-09
*
Look for z3.exe in the prover plugin directory first.
MichalMoskal
2011-02-02
*
Boogie: Made the algorithm for finding Z3 more robust.
wuestholz
2011-01-21
*
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
*
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
*
Boogie:
rustanleino
2010-10-12
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: added /z3bv option that overrides the current setting of Z3 options f...
stobies
2010-08-06
*
Boogie: Committing my port of simplify, along with the slightly changed refer...
tabarbe
2010-07-23
*
Boogie: Renaming Simplify.sscproj and source files in preparation for committ...
tabarbe
2010-07-23