projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 421a093) | patch
Remove dead code in fp_converter (#2388)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 28 Aug 2018 18:41:42 +0000 (11:41 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 18:41:42 +0000 (11:41 -0700)
commite496ca1fd9b400c4d50a34c22f2e9d630d17af3c
tree78d0d63b10b19c0cc409ba7c29d93239a51c9cd2tree
parent421a093844d9249f2735ff4b0b44f6d2b086d81dcommit | diff
Remove dead code in fp_converter (#2388)

This should fix Coverity issues 1473025 and 1459599.
src/theory/fp/fp_converter.cpp diff | blob | history