summaryrefslogtreecommitdiff
path: root/Source/Houdini
Commit message (Expand)AuthorAge
* 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
* starting the implementation of the new stratified inlining APIGravatar qadeer2012-05-21
* shutting down the prover used for doing houdiniGravatar qadeer2012-05-10
* clean up in stratified inliningGravatar qadeer2012-04-29
* removed lazy inliningGravatar qadeer2012-04-28
* unsat core for houdiniGravatar qadeer2012-04-27
* various changes for using unsat cores in HoudiniGravatar qadeer2012-04-17
* houdini cleanup continuedGravatar qadeer2012-03-10
* various refactorings related to houdiniGravatar qadeer2012-03-02
* various cleanup regarding /doNotUseLabelsGravatar qadeer2012-02-28
* further fixes related to using uninterpreted function for error tracesGravatar qadeer2012-02-25
* bug fixes related to using ControlFlowFunction instead of labelsGravatar qadeer2012-02-23
* slight change to houdini loggingGravatar Unknown2012-02-06
* added more logging in houdiniGravatar Unknown2012-02-06
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* bug fix in the FreeRequiresVisitorGravatar qadeer2011-12-22
* removed some extraneous parametersGravatar qadeer2011-12-19
* fixed a completeness problem in houdini with inliningGravatar qadeer2011-12-18
* bug fix in houdini inlineDepthGravatar qadeer2011-12-06
* more loggingGravatar qadeer2011-12-06
* further fixes to houdiniGravatar qadeer2011-12-05
* added more instrumentation to HoudiniGravatar qadeer2011-12-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 11:49:39 +0000