diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-20 18:53:56 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 23:53:56 +0000 |
| commit | eada674106422d800c86797ebccdd59010cf36b2 (patch) | |
| tree | d7a66f49ba8e3892618b573fbe61e3d12f2cf522 /src/CMakeLists.txt | |
| parent | f3c8a5bb39c494fa028cbfeb6798c1ae7502e437 (diff) | |
Split FP expand definitions to own module (#6392)
This moves the code for expanding definitions in floating point to its own module, which lives in the rewriter.
This is work towards moving Theory::expandDefinitions to Rewriter::expandDefinitions.
The code was only moved, not modified in this PR.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 662df7254..9e340a31c 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -608,6 +608,8 @@ libcvc4_add_sources( theory/ext_theory.h theory/fp/fp_converter.cpp theory/fp/fp_converter.h + theory/fp/fp_expand_defs.cpp + theory/fp/fp_expand_defs.h theory/fp/theory_fp.cpp theory/fp/theory_fp.h theory/fp/theory_fp_rewriter.cpp |