projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5c1740) | patch
FP: Use setBit instead of bv or in conversion from Real. (#6177)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 19 Mar 2021 17:16:56 +0000 (10:16 -0700)
committerGitHub <noreply@github.com>
Fri, 19 Mar 2021 17:16:56 +0000 (17:16 +0000)
commit95f5be640fd362098a54e222d56d49144fe0efbe
tree39a3e5d754b4e78a9696c7f8c59337cc08f15ffatree
parentf5c1740fed59fc200e439fe1fcf230b0ed7081accommit | diff
FP: Use setBit instead of bv or in conversion from Real. (#6177)

This is a minor optimization that goes into effect as soon as #6176 goes
in.
src/util/floatingpoint.cpp diff | blob | history