projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5108f5c) | patch
Add bitwise option to IntBlaster (#7721)
authormakaimann <makaim@stanford.edu>
Tue, 7 Dec 2021 02:16:09 +0000 (18:16 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Dec 2021 02:16:09 +0000 (02:16 +0000)
commitdfdcc4c68d8716b4587fd0316818c319ef7cff20
tree8899e33505129713f59cf9ac3390c1400a139473tree
parent5108f5c667d417ee1cd53a0404596c9da6e2a90fcommit | diff
Add bitwise option to IntBlaster (#7721)

This is part of a series of PRs by @yoni206  to add full int-blasting support to the master branch of `cvc5`. This adds support for the bitwise encoding to `IntBlaster`. Future PRs would unify the `bv2int` and `IntBlaster` helper functions.
src/options/smt_options.toml diff | blob | history
src/preprocessing/passes/bv_to_int.cpp diff | blob | history
src/theory/bv/int_blaster.cpp diff | blob | history
test/unit/theory/theory_bv_int_blaster_white.cpp diff | blob | history