summaryrefslogtreecommitdiff
path: root/Test/AbsHoudini
Commit message (Expand)AuthorAge
* Updated an 'Answer' file (AbsHoudini).Gravatar wuestholz2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Convert the AbsHoudini tests to lit tests. They weren't being run by the oldGravatar Dan Liew2014-05-27
* For lit test infrastructure, disable running tests inGravatar Dan Liew2014-05-07
* AbsHoudini: Few more abstract domainsGravatar akashlal2013-06-16
* AbsHoudini: added an implication domainGravatar akashlal2013-06-15
* AbsHoudini: Added support for quantifiersGravatar akashlal2013-05-27
* AbsHoudini: Tolerate some assertion failing. Updated regression baseline.Gravatar akashlal2013-05-10
* AbsHoudini: Each function can specify its own abstract domain. Also addedGravatar akashlal2013-05-05
* AbsHoudini: Added predicate-abstraction domain and some examples.Gravatar akashlal2013-04-25
* Added a test caseGravatar akashlal2013-04-19
* AbsHoudini: Added support for /inlineDepth, and fixed the regression testsGravatar akashlal2013-04-18
* Nice clean re-implementation of AbstractHoudini. And testsGravatar akashlal2013-04-18
* More stuff for abstract houdini; updated test caseGravatar Unknown2012-12-10
* Added Abstract Houdini: an implementation of Houdini based on abstract domains.Gravatar Unknown2012-11-05