projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42cd0a7) | patch
(proof-new) Add the strings proof checker (#4858)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 15 Aug 2020 11:06:28 +0000 (06:06 -0500)
committerGitHub <noreply@github.com>
Sat, 15 Aug 2020 11:06:28 +0000 (06:06 -0500)
commit3b230077d51c8445328f0b5d5ff94bbd988d1c83
tree70d9eb305857c3c36d71cf42382bee7a6633b908tree
parent42cd0a7bcbe993870d76d8cc9db7acc0a9ae70f9commit | diff
(proof-new) Add the strings proof checker (#4858)

It also adds enumeration for two new rules that have been recently added.
src/CMakeLists.txt diff | blob | history
src/expr/proof_rule.cpp diff | blob | history
src/expr/proof_rule.h diff | blob | history
src/theory/strings/proof_checker.cpp [new file with mode: 0644] blob
src/theory/strings/proof_checker.h [new file with mode: 0644] blob
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history