projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53cade0) | patch
[BV] An option for SAT proof optimization (#2915)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 23 Apr 2019 22:58:57 +0000 (15:58 -0700)
committerGitHub <noreply@github.com>
Tue, 23 Apr 2019 22:58:57 +0000 (15:58 -0700)
commitdf5f15a17a8f3b92ae1ea776e5cf079d61e6404c
treee710f16059c64cc5845171e20c9c472c33f8eabatree
parent53cade050e191c7c0dc0ebfae716a21162bd9b22commit | diff
[BV] An option for SAT proof optimization (#2915)

* [BV] An option for SAT proof optimization

The option doesn't **do** anything yet, but exists.

* CopyPaste Fix: BvOptimizeSatProof documentation

It was the documentation for a different option. Now it has been
updated.

* Fix Typos per Mathias' review.

Co-Authored-By: alex-ozdemir <aozdemir@hmc.edu>
src/options/bv_bitblast_mode.cpp diff | blob | history
src/options/bv_bitblast_mode.h diff | blob | history
src/options/bv_options.toml diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history