projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24b4ca5) | patch
Fix sat_proof "parentheses into the void" after conferring with Liana.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 16 Aug 2013 21:07:22 +0000 (17:07 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Sep 2013 23:21:13 +0000 (19:21 -0400)
commitc46f66e6e50506f5e9c10df3dcb6db5affc45c78
tree2d66d0e5ddd616c298a23d07c0e40e178fee0cf1tree
parent24b4ca565400d64b82626484044f72fd024477cdcommit | diff
Fix sat_proof "parentheses into the void" after conferring with Liana.
src/proof/sat_proof.cpp diff | blob | history