projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81bcd1a) | patch
Fix lower vs upper bound issue for eager RE conflicts (#8482)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 31 Mar 2022 14:06:28 +0000 (09:06 -0500)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 14:06:28 +0000 (07:06 -0700)
commita09b8344565f359560e796e11f8902bd4f59e5b2
treee00872488f3a8412e899972f841bfc78181f1234tree
parent81bcd1aefcf074f09ea528f4e9288f91527981e5commit | diff
Fix lower vs upper bound issue for eager RE conflicts (#8482)

Fixes #8481.
src/theory/strings/eager_solver.cpp diff | blob | history
src/theory/strings/regexp_entail.cpp diff | blob | history
src/theory/strings/regexp_entail.h diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/strings/issue8481-2.smt2 [new file with mode: 0644] blob
test/regress/cli/regress0/strings/issue8481.smt2 [new file with mode: 0644] blob