projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2119637) | patch
Add new infrastructure for preprocessing passes (#1053)
authorjustinxu421 <justinx@stanford.edu>
Mon, 11 Dec 2017 00:39:02 +0000 (16:39 -0800)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 11 Dec 2017 00:39:02 +0000 (16:39 -0800)
commitdc0dd5e34f9b2fe1ef79602cc2a5f3deeb7d684a
tree15a11feeb526056255f46939e6b4ef8c5306ca83tree
parent2119637a89ad7af0eb8a4d326b78f2ecaa89012dcommit | diff
Add new infrastructure for preprocessing passes (#1053)

This commit adds new infrastructure for preprocessing passes. It is preparation only, it does not change how the current preprocessing passes work (this will be done in future commits).
src/Makefile.am diff | blob | history
src/options/mkoptions diff | blob | history
src/preprocessing/preprocessing_pass.cpp [new file with mode: 0644] blob
src/preprocessing/preprocessing_pass.h [new file with mode: 0644] blob
src/preprocessing/preprocessing_pass_context.cpp [new file with mode: 0644] blob
src/preprocessing/preprocessing_pass_context.h [new file with mode: 0644] blob
src/preprocessing/preprocessing_pass_registry.cpp [new file with mode: 0644] blob
src/preprocessing/preprocessing_pass_registry.h [new file with mode: 0644] blob
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history