projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19c382b) | patch
Add IEEE-BV-to-FP to external-to-internal mapping in C++ API (#6951)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 4 Aug 2021 01:41:04 +0000 (18:41 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 01:41:04 +0000 (01:41 +0000)
commit81544bb6de5b21db7ed5e41d56277105bbea103d
tree8f90aeeae2638938902fe4e0d679da15b1565d5ctree
parent19c382b8666492fa8818444c7f2ee907da3d9479commit | diff
Add IEEE-BV-to-FP to external-to-internal mapping in C++ API (#6951)

Without this, you can't make terms with that kind.
src/api/cpp/cvc5.cpp diff | blob | history