diff options
| author | justinxu421 <justinx@stanford.edu> | 2017-12-10 16:39:02 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-12-10 16:39:02 -0800 |
| commit | dc0dd5e34f9b2fe1ef79602cc2a5f3deeb7d684a (patch) | |
| tree | 15a11feeb526056255f46939e6b4ef8c5306ca83 /src/Makefile.am | |
| parent | 2119637a89ad7af0eb8a4d326b78f2ecaa89012d (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).
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index ff79cc4a4..098fe4025 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -62,6 +62,12 @@ libcvc4_la_SOURCES = \ decision/decision_strategy.h \ decision/justification_heuristic.cpp \ decision/justification_heuristic.h \ + preprocessing/preprocessing_pass.cpp \ + preprocessing/preprocessing_pass.h \ + preprocessing/preprocessing_pass_context.cpp \ + preprocessing/preprocessing_pass_context.h \ + preprocessing/preprocessing_pass_registry.cpp \ + preprocessing/preprocessing_pass_registry.h \ printer/dagification_visitor.cpp \ printer/dagification_visitor.h \ printer/printer.cpp \ |