projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb3c0cd) | patch
Let arith_proof print its own terms
authorGuy <guy@Guy-X260>
Fri, 16 Sep 2016 22:43:47 +0000 (15:43 -0700)
committerGuy <guy@Guy-X260>
Fri, 16 Sep 2016 22:43:47 +0000 (15:43 -0700)
commit976ee5b66b7584b9fe46eab1facf5e5f857e723f
treeed2c5d2d641a8ba6c610eef50fb17cd0379419fctree
parentcb3c0cd5a3ceba5fcd65202bcd3e4cf4074ee0b2commit | diff
Let arith_proof print its own terms
src/proof/arith_proof.cpp diff | blob | history
src/proof/arith_proof.h diff | blob | history