projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0615601) | patch
Deleting the dead code in proof/sat_proof.cpp.
authorTim King <taking@google.com>
Mon, 1 Feb 2016 18:54:45 +0000 (10:54 -0800)
committerTim King <taking@google.com>
Mon, 1 Feb 2016 18:54:45 +0000 (10:54 -0800)
commit969ef1c750a6aef28487058c1edc3a68c5be8c2d
treec26b4308ded16a64c78d2959b354ccef91f53d20tree
parent0615601703a1ac19d485e2b530a748c797b544edcommit | diff
Deleting the dead code in proof/sat_proof.cpp.
src/proof/sat_proof.cpp [deleted file] blob | history