projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b85ef5a) | patch
bv2int: refactoring the main translation loop (#5051)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 10 Sep 2020 17:23:30 +0000 (10:23 -0700)
committerGitHub <noreply@github.com>
Thu, 10 Sep 2020 17:23:30 +0000 (12:23 -0500)
commita8939854b88a4d9ead58ef7191897f0e5f68cefb
treede228b9ef69420d0ce0dd32c57fcdb38b682aa34tree
parentb85ef5a122127f50b38380ec452023c26fdbbc66commit | diff
bv2int: refactoring the main translation loop (#5051)

This PR introduces a refactoring of the main translation loop in bv2int preprocessing pass.
Many parts are wrapped by helper functions and so the main loop becomes smaller.

remark: selecting "Hide whitespace changes" cuts the diff by ~50%.
src/preprocessing/passes/bv_to_int.cpp diff | blob | history
src/preprocessing/passes/bv_to_int.h diff | blob | history