projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(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)
commitd60c406206e9ac414cde2c219a748d51a64d000b
tree8872501fdbb8947587864f3063c76826c0924ccctree
parent1c95df5efa3727a8b709049ef26ebb3fe6f0c6ebcommit | diff
parentb4b81cc02386e8ef25b9a4fa8bee05de8633c616commit | diff
Merge pull request #72 from kbansal/decision-requirephase

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.