projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2278059) | patch
(proof-new) Updates to strings term registry (#4599)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Jun 2020 22:40:18 +0000 (17:40 -0500)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 22:40:18 +0000 (17:40 -0500)
commita517757f04e519259dde9ed7309168e7475354e3
tree504775b98d19c878e5ec77119c623b006f5a6378tree
parent22780596b561dff9b0eb5b0620252280a678944ecommit | diff
(proof-new) Updates to strings term registry (#4599)

This makes it so that methods for constructing term registration lemmas are made into static methods, so that they can be used by both the term registry and proof checker.
src/theory/strings/term_registry.cpp diff | blob | history
src/theory/strings/term_registry.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history