projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a791002) | patch
Add utility to access how to print floating point (#8141)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Mar 2022 15:48:54 +0000 (09:48 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Mar 2022 15:48:54 +0000 (15:48 +0000)
commit3a750bb1c4fa455e7faadf7b0f26e28eee342342
treeedd45dfda8ccf25e0fbfec2236d6657b3032c27etree
parenta7910026d54c24c7ef1b58c0b90069142302c314commit | diff
Add utility to access how to print floating point (#8141)

This makes the code for printing a floating point based on its BV components accessible as a utility.

This is required for proper printing of FP constants in LFSC.
src/util/floatingpoint.cpp diff | blob | history
src/util/floatingpoint.h diff | blob | history