summaryrefslogtreecommitdiff
path: root/Source/AbsInt/NativeLattice.cs
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Did some refactoring.Gravatar wuestholz2014-09-23
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* Dafny: implemented thresholds for the new interval domain (/infer:j)Gravatar Rustan Leino2011-12-12
* Dafny: corrected merge snafusGravatar Rustan Leino2011-12-07
* Boogie: Added new abstract interpretation harness, which uses native Boogie E...Gravatar Rustan Leino2011-12-05