projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd6db95) | patch
Fix mod elimination in learned rewrite preprocessing pass (#8938)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 7 Jul 2022 20:09:36 +0000 (15:09 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Jul 2022 20:09:36 +0000 (20:09 +0000)
commit2d858aa4393f08d218ba94b85fea5e39654a1194
treeb29bced6bc0ba7a3db19665ed20c39389cd83a3atree
parentcd6db957a9c780216624fac2d58fd8a9ea51aec2commit | diff
Fix mod elimination in learned rewrite preprocessing pass (#8938)

Fixes #8934.

Also makes this rewrite cover more cases.
src/preprocessing/passes/learned_rewrite.cpp diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/nl/issue8934-lr-int-mod-range.smt2 [new file with mode: 0644] blob
test/regress/cli/regress1/nl/learned-rewrite-int-mod-range.smt2 [new file with mode: 0644] blob