projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5dcaa28) | patch
(proof-new) pfs in TheoryArith(Private) explainations (#5258)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 14 Oct 2020 17:17:35 +0000 (10:17 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 17:17:35 +0000 (12:17 -0500)
commit9380d6fa2691da1bd8ce7c5501fde1e972ca7d3f
tree2837851051d05ba85a09d168a9dce26bfa15bcactree
parent5dcaa28edfa676c57fbbab75767b422e7fab349ccommit | diff
(proof-new) pfs in TheoryArith(Private) explainations (#5258)

Very simple, just threading the proofs through.
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history