projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5074aeb) | patch
[proof-new] Adding a dot printer for proof nodes (#6144)
authorDiego Della Rocca de Camargos <diegodellarocc@gmail.com>
Sun, 14 Mar 2021 14:55:55 +0000 (11:55 -0300)
committerGitHub <noreply@github.com>
Sun, 14 Mar 2021 14:55:55 +0000 (11:55 -0300)
commit5fccede7df78196c6153300d956236ac28daa8f9
tree0ff97674a5677384f87941bea19ce1af45001e68tree
parent5074aeb52163135386c71e802ebc9f97fb5c9013commit | diff
[proof-new] Adding a dot printer for proof nodes (#6144)

Adds a dot printer for proof nodes. Also adds an option to choose the proof format (as a mode).

Signed-off-by: Diego Della Rocca de Camargos <diegodellarocc@gmail.com>
src/CMakeLists.txt diff | blob | history
src/options/proof_options.toml diff | blob | history
src/proof/dot/dot_printer.cpp [new file with mode: 0644] blob
src/proof/dot/dot_printer.h [new file with mode: 0644] blob
src/smt/proof_manager.cpp diff | blob | history