summaryrefslogtreecommitdiff
path: root/Source/Core/DeadVarElim.cs
Commit message (Expand)AuthorAge
* Made 2 invariants of class 'VariableCollector' robust by:Gravatar wuestholz2015-01-09
* Worked on the verification result caching.Gravatar wuestholz2014-11-05
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Did some refactoring.Gravatar wuestholz2014-10-16
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* Implemented an optimization for assignments to assumption variables that are ...Gravatar wuestholz2014-07-04
* Fixed a bug in revised mod set analysisGravatar Ally Donaldson2014-06-06
* Refactored modset analysis to avoid the use of static fields. Static fields ...Gravatar Ally Donaldson2014-06-06
* checkpointGravatar qadeer2014-05-03
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* Fixed errors in the use of Code ContractsGravatar Rustan Leino2014-02-10
* bug fix in error trace printingGravatar qadeer2014-02-05
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* MergeGravatar qadeer2013-10-15
|\
* | bug fix in yield inference in modset analysisGravatar qadeer2013-10-15
| * MergeGravatar Pantazis Deligiannis2013-10-09
| |\ | |/ |/|
| * more changes towards parallelisation of HoudiniGravatar Pantazis Deligiannis2013-09-29
* | fixed the linear type checking related to globalsGravatar qadeer2013-09-04
| * MergeGravatar Pantazis Deligiannis2013-08-20
| |\ | |/ |/|
| * new option for reversing the topological order - this could potentially help ...Gravatar Pantazis Deligiannis2013-08-19
* | cleaned up the OG codeGravatar qadeer2013-08-07
|/
* Removed the remaining pure collections.Gravatar wuestholz2013-07-23
* 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