summaryrefslogtreecommitdiff
path: root/Source/AbsInt/TrivialDomain.cs
Commit message (Expand)AuthorAge
* Boogie: Added new abstract interpretation harness, which uses native Boogie E...Gravatar Rustan Leino2011-12-05