summaryrefslogtreecommitdiff
path: root/Source/Houdini/AbstractHoudini.cs
Commit message (Expand)AuthorAge
* 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
* Some code refactoringGravatar akashlal2013-05-03
* AbsHoudini: Bug fixGravatar akashlal2013-04-28
* AbsHoudini: Added support for /errorLimit:n, n > 1Gravatar akashlal2013-04-25
* AbsHoudini: Added predicate-abstraction domain and some examples.Gravatar akashlal2013-04-25
* AbsHoudini: Added support for DoNotUsLabels, domain for simulating Houdini,Gravatar akashlal2013-04-25
* AbsHoudini: Added SCC-based worklist, bug-fix for inline attribute,Gravatar 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
* Minor changes to AbstractHoudiniGravatar akashlal2013-03-10
* AbstractHoudini: more details for computing a tighter predicate coverGravatar Unknown2013-02-15
* Timeout in AbstractHoudiniGravatar akashlal2013-01-16
* Some more changes to AbsHoudiniGravatar akashlal2012-12-28
* AbstractHoudini optimization: replace summary predicate with Boolean variablesGravatar Unknown2012-12-21
* AbstractHoudini: more fixes, for self-recursionGravatar akashlal2012-12-16
* AbstractHoudini: bug fixesGravatar akashlal2012-12-16
* AbstractHoudini: support for generating a witnessGravatar Unknown2012-12-15
* First implementation of ExplainHoudiniGravatar Unknown2012-12-12
* More stuff for abstract houdini; updated test caseGravatar Unknown2012-12-10
* Bug fix for abstract-houdiniGravatar Unknown2012-12-07
* Allow richer spec for abs-houdiniGravatar Unknown2012-12-03
* Minor refactorings for integrating corralGravatar Unknown2012-11-18
* Added Abstract Houdini: an implementation of Houdini based on abstract domains.Gravatar Unknown2012-11-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 19:26:50 +0000