projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebcddc2) | patch
FP: Move removal of generic to_fp operations to rewriter. (#6480)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 4 May 2021 02:07:52 +0000 (19:07 -0700)
committerGitHub <noreply@github.com>
Tue, 4 May 2021 02:07:52 +0000 (02:07 +0000)
commit441c53b1a68cc16a345eb0dc8d9956c1301ed509
tree81bd2ad3b42a61ed106c695a71c073e17af8da8etree
parentebcddc25124fe3f92df314c13b3d690b46dbd1e8commit | diff
FP: Move removal of generic to_fp operations to rewriter. (#6480)
src/theory/fp/fp_expand_defs.cpp diff | blob | history
src/theory/fp/theory_fp_rewriter.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/fp/issue3582.smt2 diff | blob | history
test/regress/regress0/fp/issue5511.smt2 diff | blob | history
test/regress/regress0/fp/issue5734.smt2 [new file with mode: 0644] blob
test/regress/regress0/fp/issue6164.smt2 diff | blob | history