projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53020ab) | patch
Fixed an issue where arrays proofs would sometimes have an extra ")" at the end.
authorGuy <katz911@gmail.com>
Wed, 3 Aug 2016 22:51:22 +0000 (15:51 -0700)
committerGuy <katz911@gmail.com>
Wed, 3 Aug 2016 22:51:22 +0000 (15:51 -0700)
commitc82514b57252444df982b35af4809e0fd4635e37
tree12ad1fe87c8d7723762a120645006bed29ce8c51tree
parent53020abb9381f4e29d628c054c990ddb43bba4b2commit | diff
Fixed an issue where arrays proofs would sometimes have an extra ")" at the end.
src/proof/array_proof.cpp diff | blob | history
src/proof/proof_manager.cpp diff | blob | history
src/proof/sat_proof_implementation.h diff | blob | history