summaryrefslogtreecommitdiff
path: root/Source/Houdini
Commit message (Expand)AuthorAge
...
| * | AbsHoudini: added an implication domainGravatar akashlal2013-06-15
| | * CVC4 ParserGravatar pantazis2013-06-12
| |/
* / Some work on staged HoudiniGravatar allydonaldson2013-06-07
|/
* Improvements to Staged HoudiniGravatar allydonaldson2013-05-29
* MergeGravatar allydonaldson2013-05-27
|\
* | Staged Houdini can now take a path to a file of ignored variablesGravatar allydonaldson2013-05-27
| * AbsHoudini: Added support for quantifiersGravatar akashlal2013-05-27
|/
* Fixed bug in staged Houdini.Gravatar allydonaldson2013-05-22
* Adapted Houdini algorithm to take staging into accountGravatar allydonaldson2013-05-18
* 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
* MergeGravatar allydonaldson2013-04-30
|\
* | Staged HoudiniGravatar allydonaldson2013-04-30
| * 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
|/
* Refactored MatchCandidateGravatar allydonaldson2013-03-08
* MatchCandidate modified to match candidates by variable name, rather than by ...Gravatar allydonaldson2013-03-08
* AbstractHoudini: more details for computing a tighter predicate coverGravatar Unknown2013-02-15
* Timeout in AbstractHoudiniGravatar akashlal2013-01-16
* Some code clean-upGravatar Unknown2013-01-07
* Some more changes to AbsHoudiniGravatar akashlal2012-12-28
* minor bug fixGravatar Unknown2012-12-27
* AbstractHoudini optimization: replace summary predicate with Boolean variablesGravatar Unknown2012-12-21
* Bug fix for ExplainHoudini. Made it robust under timeouts.Gravatar Unknown2012-12-20
* AbstractHoudini: more fixes, for self-recursionGravatar akashlal2012-12-16
* AbstractHoudini: bug fixesGravatar akashlal2012-12-16
* AbstractHoudini: support for generating a witnessGravatar Unknown2012-12-15
* Added some commentsGravatar akashlal2012-12-12
* MergeGravatar akashlal2012-12-12
|\
* | First implementation of ExplainHoudiniGravatar Unknown2012-12-12
| * Houdini: allow cross-dependencies between procedures that occurs when assumeGravatar Unknown2012-12-11
* | 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
* when a query times out, all asserted candidates are droppedGravatar Unknown2012-11-25
* Minor refactorings for integrating corralGravatar Unknown2012-11-18
* Added Abstract Houdini: an implementation of Houdini based on abstract domains.Gravatar Unknown2012-11-05
* bunch of refactoringsGravatar Unknown2012-10-03
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Extra debugging output for HoudiniGravatar Unknown2012-08-21
* Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) w...Gravatar Peter Collingbourne2012-08-07
* moved class Macro to AbsyGravatar qadeer2012-06-04
* changed behavior of InlinedEnsures so that free ensures is skipped unless an ...Gravatar qadeer2012-06-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 14:17:26 +0000