projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 520c590) | patch
Bug fix for CNF proofs (and/or case 1), thanks to Alain Mebsout for bug report.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 25 May 2015 08:34:26 +0000 (10:34 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 25 May 2015 08:34:26 +0000 (10:34 +0200)
commit1e22a9ebb7b1825cd8f35fe258e6ac345773a9e5
tree3d3d314097811fab13233de034c8903c76d370a5tree
parent520c5903a4c399b7c5beaa2d353bbf9324009ee7commit | diff
Bug fix for CNF proofs (and/or case 1), thanks to Alain Mebsout for bug report.
src/proof/cnf_proof.cpp diff | blob | history
test/regress/regress0/uf/Makefile.am diff | blob | history