projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67bf06f) | patch
Refactoring of bit-vector elimination rules (#3105)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 29 Jul 2019 15:30:25 +0000 (08:30 -0700)
committerGitHub <noreply@github.com>
Mon, 29 Jul 2019 15:30:25 +0000 (08:30 -0700)
commit3b83b9c3ee265881c24ee6845cef011ebad1e1da
treebb9e290ebd806adf52e20701082d3e917f267f42tree
parent67bf06f7ac7bad3640c220acd965c4c5b6f4202ecommit | diff
Refactoring of bit-vector elimination rules (#3105)

This commit makes the following minor refactors to src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h:
- Including options/bv_options.h: this is needed because this header file is being used.
- Marking all functions as inline: details in a discussion inside the PR.
src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h diff | blob | history