projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1f8d64) | patch
(proof-new) Add trust node utility (#4588)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 9 Jun 2020 14:30:01 +0000 (09:30 -0500)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 14:30:01 +0000 (09:30 -0500)
commitc118e34b040eddffe0e2155645b47c811188c82a
treee47e0df244e88aa204b40886e91abce00c4102c9tree
parentc1f8d64f3bc73fe27527046c521c2327e8e310d8commit | diff
(proof-new) Add trust node utility (#4588)

This is a core data structure for associating a formula with a proof generator.
src/CMakeLists.txt diff | blob | history
src/theory/trust_node.cpp [new file with mode: 0644] blob
src/theory/trust_node.h [new file with mode: 0644] blob