projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd33db0) | patch
[proof-new] Only use old proof code for unsat cores if new proofs are off (#5688)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 17 Dec 2020 00:16:28 +0000 (21:16 -0300)
committerGitHub <noreply@github.com>
Thu, 17 Dec 2020 00:16:28 +0000 (21:16 -0300)
commit80e02468be0b5821e74a097179299c9afa23d10a
tree57ade9a055f6659f44cc64d85ffb937ca6f25072tree
parentcd33db0a13ef195995885c4c42031386b2261ac4commit | diff
[proof-new] Only use old proof code for unsat cores if new proofs are off (#5688)

This is so that eventually we can compare the performance of the old unsat cores vs the new ones.
src/prop/minisat/core/Solver.cc diff | blob | history