summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine/VerificationResultCache.cs
Commit message (Expand)AuthorAge
...
* Minor refactoringGravatar wuestholz2014-06-28
* Changed the verification result cache to use the built-in 'MemoryCache' class.Gravatar wuestholz2014-06-28
* Optimized the way that dependency checkums are computed.Gravatar wuestholz2014-06-26
* Worked on an extension of the existing verification result caching.Gravatar wuestholz2014-06-23
* added ReadOnlyStandardVisitorGravatar qadeer2014-02-24
* Make the dependency analysis for snapshot verification take 'where' clauses i...Gravatar wuestholz2013-07-30
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-20
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-17
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-14
* Worked on improving program snapshot verification (automatic prioritization).Gravatar wuestholz2013-06-12
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-11
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-11
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 10:41:18 +0000