projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cecdb3) | patch
(proof-new) pfs for conflicts in TheoryArithPrivate (#5257)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 14 Oct 2020 14:00:08 +0000 (07:00 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 14:00:08 +0000 (09:00 -0500)
commit5cfcc6d154c7ab0deac47fbc172c406aedc3639e
tree724b37ac88702923e14362604c6ff897bfa59d5ctree
parent1cecdb3b4d8be47d446be5d33cc4d3063061d2b3commit | diff
(proof-new) pfs for conflicts in TheoryArithPrivate (#5257)

Threads conflict proofs through TheoryArithPrivate.

Mostly just wiring things up.
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history