summaryrefslogtreecommitdiff
path: root/Source/VCGeneration/DoomCheck.cs
Commit message (Expand)AuthorAge
* bunch of refactoringsGravatar Unknown2012-10-03
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Boogie: output number of proof obligations (asserts) along with timing inform...Gravatar Rustan Leino2012-01-09
* Minor fixesGravatar schaef2011-03-27
* new algorithm for dead code detection (vc:doomed)Gravatar schaef2011-03-15
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Bug fixes and speed up for doomed program point analysisGravatar schaef2010-10-13
* Boogie:Gravatar rustanleino2010-09-23
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...Gravatar tabarbe2010-07-28
* Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...Gravatar tabarbe2010-07-28