index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
VCGeneration
/
Check.cs
Commit message (
Expand
)
Author
Age
*
Added CheckAssumptions api interface
akashlal
2010-11-28
*
Some changes to the prover interface to make way for z3-api.
akashlal
2010-11-24
*
ModelViewer:
rustanleino
2010-11-02
*
Make the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Add the new model interface. Untested, doesn't yet include state sequence
MichalMoskal
2010-10-08
*
Get rid of some CCI dependencies in Driver
MichalMoskal
2010-10-07
*
Boogie:
rustanleino
2010-09-23
*
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: Removed and completed a task comment
tabarbe
2010-08-19
*
Fixed a contract
akashlal
2010-08-10
*
More line ending fixups.
MichalMoskal
2010-08-06
*
Boogie: Removed trailing spaces in code
tabarbe
2010-08-04
*
Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...
tabarbe
2010-07-28
*
Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...
tabarbe
2010-07-28