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
/
Z3
/
Prover.cs
Commit message (
Expand
)
Author
Age
*
bunch of refactorings
Unknown
2012-10-03
*
Boogie: internal clean-up, removed BvHandling type, everything now behaves as...
Rustan Leino
2011-10-27
*
deleted lazyinlining option 2 and 3
qadeer
2011-08-17
*
Update the RECENT_Z3 #define to include SORT_AND_OR
Michal Moskal
2011-06-30
*
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...
mikebarnett
2011-03-10
*
Allow recent Z3 versions to be used
MichalMoskal
2011-02-21
*
Move model printing to ErrorModel class
MichalMoskal
2011-02-21
*
Make the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Boogie:
rustanleino
2010-10-12
*
Boogie:
rustanleino
2010-09-24
*
Boogie:
rustanleino
2010-09-23
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Report a bug in Z3 instead of evil input "?"
kyessenov
2010-08-23
*
Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...
tabarbe
2010-08-19
*
Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...
MichalMoskal
2010-08-06
*
Boogie: added /z3bv option that overrides the current setting of Z3 options f...
stobies
2010-08-06
*
Remove support for Z3 V1 and clean up parameter processing code for Z3
stobies
2010-08-06
*
Boogie: cleanup option handling code for Z3
stobies
2010-08-05
*
Boogie: Removed trailing spaces in code
tabarbe
2010-08-04
*
Boogie: Committing ported version of Z3.
tabarbe
2010-07-20
*
Boogie: Let's try that rename again, shall we?
tabarbe
2010-07-20
*
Boogie: Rename didn't work. Resetting to try again
tabarbe
2010-07-20
*
Boogie/Z3: Renaming the sources for Z3 in preparation for commit of my port o...
tabarbe
2010-07-20