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
/
VCDoomed.cs
Commit message (
Expand
)
Author
Age
*
Removed program argument from VerifyImplementation. It is redundant since th...
qadeer
2012-05-29
*
Boogie: output number of proof obligations (asserts) along with timing inform...
Rustan Leino
2012-01-09
*
added code to handle irreducible graphs
qadeer
2011-08-20
*
Minor fixes
schaef
2011-03-27
*
new algorithm for dead code detection (vc:doomed)
schaef
2011-03-15
*
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...
mikebarnett
2011-03-10
*
Bug fixes and speed up for doomed program point analysis
schaef
2010-10-13
*
Boogie:
rustanleino
2010-09-24
*
Boogie:
rustanleino
2010-09-23
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Added boolean code expressions (sans well-formedness checks on the in...
rustanleino
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