projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c7ed68) | patch
(proof-new) Fix regular expression unfolding under substitution (#5958)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 26 Feb 2021 03:41:27 +0000 (21:41 -0600)
committerGitHub <noreply@github.com>
Fri, 26 Feb 2021 03:41:27 +0000 (21:41 -0600)
commitc725b56d1a5a1f896ee76178c718093859aedccb
tree4fb103688e664cf6b800d40003320bf5f03c9df6tree
parent1c7ed68156cb3cf19ef036cbbfff18bcc4e45c36commit | diff
(proof-new) Fix regular expression unfolding under substitution (#5958)

This case was previously unhandled and exercised by a recently added regression.
src/theory/strings/infer_proof_cons.cpp diff | blob | history