projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd4b373) | patch
FP: Use EnvObj::rewrite() and options() in theory_fp. (#7169)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 10 Sep 2021 17:47:10 +0000 (10:47 -0700)
committerGitHub <noreply@github.com>
Fri, 10 Sep 2021 17:47:10 +0000 (17:47 +0000)
commit9dd4f07a560c4d4b44b81bd021466966d3b494e9
treed691d894f7f523360ac7c1f41675466257770645tree
parentfd4b373b9a66a590e0d9618c744312e1050472a0commit | diff
FP: Use EnvObj::rewrite() and options() in theory_fp. (#7169)
src/theory/fp/theory_fp.cpp diff | blob | history