projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d256af7) | patch
(proof-new) Fixes for theory engine proof generator (#5087)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 17 Sep 2020 21:57:05 +0000 (16:57 -0500)
committerGitHub <noreply@github.com>
Thu, 17 Sep 2020 21:57:05 +0000 (16:57 -0500)
commit6341581d4b6797e8a9169a2ad88638987da255a4
tree91aababb1f942f9e73ed811153b96e97724616detree
parentd256af7a024fa09c6352fb0e7881ae39d17ae611commit | diff
(proof-new) Fixes for theory engine proof generator (#5087)

Fixes an issue where conflicts stored in the theory engine proof generator where expecting to be (=> F false) instead of (not F).
src/theory/theory_engine_proof_generator.cpp diff | blob | history
src/theory/theory_engine_proof_generator.h diff | blob | history