projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eaebc10) | patch
Refactor IntToBV preprocessing pass (#1716)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 4 Apr 2018 03:43:37 +0000 (20:43 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Apr 2018 03:43:37 +0000 (20:43 -0700)
commit4be746589d4f456f772d4c8c524a1d34ab3b75c8
treeedef4179d1c7d2a666a6195b07fb55e71eb77b30tree
parenteaebc10c50ca44644edd430ed3f555092a0fb27acommit | diff
Refactor IntToBV preprocessing pass (#1716)

This commit refactors the IntToBV preprocessing pass into the new style.
This commit is essentially just a code move, it does not attempt to fix
issues (e.g. #1715).
src/Makefile.am diff | blob | history
src/preprocessing/passes/int_to_bv.cpp [new file with mode: 0644] blob
src/preprocessing/passes/int_to_bv.h [new file with mode: 0644] blob
src/smt/smt_engine.cpp diff | blob | history