projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 525fe1f) | patch
modular bv2int: Stubs and some implementations (#6760)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 22 Jun 2021 19:11:22 +0000 (12:11 -0700)
committerGitHub <noreply@github.com>
Tue, 22 Jun 2021 19:11:22 +0000 (19:11 +0000)
commit40bee7cad0f2b6a5f9eac7e8fda2199e582e18d1
tree2aa16acad172f646650844459655c8c62815b603tree
parent525fe1f4f33aca05f5e92b0cc0f3e0c7e6effa8bcommit | diff
modular bv2int: Stubs and some implementations (#6760)

This PR adds the file int_blaster.cpp. Most of the functions are not yet implemented. Two main functions are implemented.
Additionally, code that will no longer be needed is removed from the BV rewriter.
src/CMakeLists.txt diff | blob | history
src/theory/bv/int_blaster.cpp [new file with mode: 0644] blob
src/theory/bv/int_blaster.h diff | blob | history