projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eefd31d) | patch
[proof] [dot] Make dot printer stateful (#6799)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 28 Jun 2021 13:39:49 +0000 (10:39 -0300)
committerGitHub <noreply@github.com>
Mon, 28 Jun 2021 13:39:49 +0000 (13:39 +0000)
commit78031276c7452fd687c4a6253ff0f82c501dbac2
tree376544898944f27ac41ec82c4abfc9485753ade0tree
parenteefd31d2fe256bdee9a5c33105eced1a358bb378commit | diff
[proof] [dot] Make dot printer stateful (#6799)

In preparation for further changes in the printer.
src/proof/dot/dot_printer.cpp diff | blob | history
src/proof/dot/dot_printer.h diff | blob | history
src/smt/proof_manager.cpp diff | blob | history