projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2174ab3) | patch
(proof-new) Proof support in the strings term registry. (#4876)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Aug 2020 20:51:15 +0000 (15:51 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 20:51:15 +0000 (15:51 -0500)
commitbd184f9813a91d8f60eb0521893a5154b9f92357
treec643c3422b207c27140122a7af9676e7912c4d5ctree
parent2174ab36023326cd998565bbf35d31c38bc10594commit | diff
(proof-new) Proof support in the strings term registry. (#4876)

Adds basic support for proofs in the strings term registry. This code is not yet active until further parts of proof-new are merged.
src/theory/strings/term_registry.cpp diff | blob | history
src/theory/strings/term_registry.h diff | blob | history