projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dd3079) | patch
[proofs] [dot] Enable DAG and tree printing with dot files (#8107)
authorvinciusb <65973642+vinciusb@users.noreply.github.com>
Tue, 22 Feb 2022 13:51:21 +0000 (10:51 -0300)
committerGitHub <noreply@github.com>
Tue, 22 Feb 2022 13:51:21 +0000 (13:51 +0000)
commit48471e5f6202cbe681d7d71c9974da603704160f
tree8ebae953a109e64945361ef934f49bdb403f08c4tree
parent3dd30794611fa1e4344b0f7f3068211533b48f4fcommit | diff
[proofs] [dot] Enable DAG and tree printing with dot files (#8107)

Add a proof option that allows DAG and tree print format when using dot files.

Signed-off-by: Vinícius Braga Freire vinicius.braga.freire@gmail.com
src/options/proof_options.toml diff | blob | history
src/proof/dot/dot_printer.cpp diff | blob | history
src/proof/dot/dot_printer.h diff | blob | history
src/proof/proof_node.cpp diff | blob | history
src/proof/proof_node.h diff | blob | history