projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8000a4) | patch
(proof-new) Make static methods in re-elim (#4623)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 20 Jun 2020 00:48:26 +0000 (19:48 -0500)
committerGitHub <noreply@github.com>
Sat, 20 Jun 2020 00:48:26 +0000 (19:48 -0500)
commit15e7da5ae8752621a128c05ef189893bad91dd88
treeaa30893251af4e544b7a4d5a54060b1deb5b812ctree
parente8000a4693ecc1f8418c80726032ef6937e36241commit | diff
(proof-new) Make static methods in re-elim (#4623)

In preparation for coarse-grained rule for re-elim to be used by the solver and proof checker.
src/theory/strings/regexp_elim.cpp diff | blob | history
src/theory/strings/regexp_elim.h diff | blob | history