summaryrefslogtreecommitdiff
path: root/Source/Predication/UniformityAnalyser.cs
Commit message (Expand)AuthorAge
* Did some refactoring.Gravatar wuestholz2014-09-23
* Added key check to uniformity analysisGravatar Ally Donaldson2014-05-27
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* Small fix in uniformity analysisGravatar Ally Donaldson2013-10-10
* Minor changes to uniformity analysis and inter-procedural reachability analysis.Gravatar Ally Donaldson2013-08-05
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* Fixed bug with unifomity analysisGravatar allydonaldson2013-07-02
* Staged HoudiniGravatar allydonaldson2013-04-30
* Fixes to uniformity analysis.Gravatar Unknown2012-11-29
* bunch of refactoringsGravatar Unknown2012-10-03