projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 714393e) | patch
Fix type issue for FP constants in LFSC node converter (#8612)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 13 Apr 2022 14:56:43 +0000 (09:56 -0500)
committerGitHub <noreply@github.com>
Wed, 13 Apr 2022 14:56:43 +0000 (14:56 +0000)
commit82f9ba130f855c1a7efb75264728a83cf0fce31a
treeefadb7f2d82c9603c8420b85fbef8308ba02fdf6tree
parent714393e33a20dbd55f525fdc533968fb6c445cfacommit | diff
Fix type issue for FP constants in LFSC node converter (#8612)

Fixes type errors in debug builds.
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history