summaryrefslogtreecommitdiff
path: root/Source/Core/DeadVarElim.cs
Commit message (Expand)AuthorAge
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* MergeGravatar allydonaldson2013-04-30
|\
* | Staged HoudiniGravatar allydonaldson2013-04-30
| * Fix mod-set traversal to do visit code inside code expressions.Gravatar Rustan Leino2013-04-18
|/
* Removed old comments about "BASEMOVE" and other constructor calls, where the ...Gravatar Unknown2013-01-07
* bunch of refactoringsGravatar Unknown2012-10-03
* bug fix in live variable analysisGravatar qadeer2011-06-14
* fixed a bug in block coalescer. previously, an unreachable block could have a...Gravatar qadeer2011-05-04
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* A couple of bug fixesGravatar akashlal2010-12-16
* fixed a couple of issues:Gravatar qadeer2010-12-16
* Changed the behavior of /doModSetAnalysis so thatGravatar qadeer2010-12-15
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Get rid of some CCI dependencies in DriverGravatar MichalMoskal2010-10-07
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-04 01:24:28 +0000