projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d19a953) | patch
Added an option that allow empty dependencies when attempting to minimize preprocessi...
authorguykatzz <katz911@gmail.com>
Thu, 6 Oct 2016 06:39:48 +0000 (23:39 -0700)
committerguykatzz <katz911@gmail.com>
Thu, 6 Oct 2016 06:39:48 +0000 (23:39 -0700)
commitedce1662b001dd6f229a25685fb4de6789ff008d
tree29e1c0dfcaf1994182a8b7f086f23fe83cc1274ftree
parentd19a95344fde1ea1ff7d784b2c4fc6d09f459899commit | diff
Added an option that allow empty dependencies when attempting to minimize preprocessing holes
src/options/proof_options diff | blob | history
src/proof/proof_manager.cpp diff | blob | history