projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 681fece) | patch
Move regular expression inclusion test to RegExpEntail (#4310)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 15 Apr 2020 14:00:47 +0000 (09:00 -0500)
committerGitHub <noreply@github.com>
Wed, 15 Apr 2020 14:00:47 +0000 (09:00 -0500)
commiteacb636406e609299b6e5b64e93f1cf5b73f4ba3
tree19b6e928c0539c0285132f5cc018efd67c0458a2tree
parent681fece601a4f156f2d39b4813d16535b7e2cee3commit | diff
Move regular expression inclusion test to RegExpEntail (#4310)

In preparation for rephrasing this inference as a rewrite.
src/theory/strings/regexp_entail.cpp diff | blob | history
src/theory/strings/regexp_entail.h diff | blob | history
src/theory/strings/regexp_operation.cpp diff | blob | history
src/theory/strings/regexp_operation.h diff | blob | history