projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1c95df5 b4b81cc)
Merge pull request #72 from kbansal/decision-requirephase
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 17 Apr 2015 18:43:20 +0000 (14:43 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 17 Apr 2015 18:43:20 +0000 (14:43 -0400)
https://www.starexec.org/starexec/secure/details/job.jsp?id=6972

The plot is bit misleading. Those not on x=y, are from QF_BV/asp which are segfaulting (see bugzilla 623). No performance impact on other logics it was tested on.


Trivial merge