projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7f4f4f) | patch
Enumeration for String rewrites (#4173)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 29 Mar 2020 00:50:35 +0000 (19:50 -0500)
committerGitHub <noreply@github.com>
Sun, 29 Mar 2020 00:50:35 +0000 (19:50 -0500)
commit01b257084a0a8ee70bff32e011704330d1544c01
tree935076e198d55d73444b1ba86e02cddce95a0bb7tree
parenta7f4f4fcf4d42f2c5b60bd62d3fd914f31202f64commit | diff
Enumeration for String rewrites (#4173)

In preparation for string proof infrastructure.

This introduces an enumeration type to track string rewrites.

It also makes inference printing more consistent.
src/CMakeLists.txt diff | blob | history
src/theory/strings/infer_info.cpp diff | blob | history
src/theory/strings/infer_info.h diff | blob | history
src/theory/strings/rewrites.cpp [new file with mode: 0644] blob
src/theory/strings/rewrites.h [new file with mode: 0644] blob
src/theory/strings/sequences_rewriter.cpp diff | blob | history
src/theory/strings/sequences_rewriter.h diff | blob | history
src/theory/strings/strings_rewriter.cpp diff | blob | history