projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c86249b) | patch
New design in DOT representation, nodes colored based on visions(basic and propositio...
authorDiego Della Rocca de Camargos <diegodellarocc@gmail.com>
Mon, 26 Apr 2021 17:36:55 +0000 (14:36 -0300)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 17:36:55 +0000 (17:36 +0000)
commit7e85adc022bc10e2a2b95bd42e216ddddd51e03e
treed18ab88d430790301a53e6368d2825543e865968tree
parentc86249b35609560be783289f0720923249a4d940commit | diff
New design in DOT representation, nodes colored based on visions(basic and propositional) (#6423)

Conclusion and rule are placed on the same node (records nodes in the dot format).
Nodes are colored based on the view they will belong to.

Signed-off-by: Diego Della Rocca de Camargos diegodellarocc@gmail.com
src/proof/dot/dot_printer.cpp diff | blob | history
src/proof/dot/dot_printer.h diff | blob | history