projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29f0b8f) | patch
Fix regular expression aggressive elim (#6627)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 27 May 2021 23:22:28 +0000 (18:22 -0500)
committerGitHub <noreply@github.com>
Thu, 27 May 2021 23:22:28 +0000 (23:22 +0000)
commita1624b7f5b7809329845f4a31e7b6a0e86ebc9d3
treecb05e79b2aba4728d6ec9bbf472fa90666677a67tree
parent29f0b8f378377ed836bddaaf88883d0b2eeb545dcommit | diff
Fix regular expression aggressive elim (#6627)

Fixes #6620, fixes #6622. Fixes cvc5/cvc5-projects#254.

The benchmarks from the 2 issues timeout, a regression is added for the projects issue.
src/theory/strings/regexp_elim.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/proj254-re-elim-agg.smt2 [new file with mode: 0644] blob