projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a6ef9f) | patch
(proof-new) Add REWRITE trust node kind. (#4624)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 22 Jun 2020 23:22:11 +0000 (18:22 -0500)
committerGitHub <noreply@github.com>
Mon, 22 Jun 2020 23:22:11 +0000 (18:22 -0500)
commitbea30aa5dd6b36fc5a206c4742abadf8c3fab5c1
tree8cf0f2f5b56f2c9994d8ab9d59f73c66f91b2498tree
parent1a6ef9fe8da8770e05fb9bd05a83d386aba8c1e9commit | diff
(proof-new) Add REWRITE trust node kind. (#4624)

This will be used for a number of purposes, including tracking proofs for rewriting and preprocessing.
src/theory/trust_node.cpp diff | blob | history
src/theory/trust_node.h diff | blob | history