projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e883ff) | patch
* more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASS
authorMorgan Deters <mdeters@gmail.com>
Sat, 6 Oct 2012 20:09:26 +0000 (20:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 6 Oct 2012 20:09:26 +0000 (20:09 +0000)
commitc62cd21b1d10230a3d8d9ed52a6147fe7f0ed078
tree96067a34d12e8ec2364c059ba2b780776be4fc7atree
parent4e883ffc0b88256a966183ac6b87bb5767154cdfcommit | diff
* more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASS
* more minor cleanup/doc

(this commit was certified error- and warning-free by the test-and-commit script.)
src/main/options diff | blob | history
src/smt/options_handlers.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history