projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dea7a1f) | patch
[proof-new] Optionally print conclusion in the AST proof (#5954)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 22 Feb 2021 19:03:22 +0000 (16:03 -0300)
committerGitHub <noreply@github.com>
Mon, 22 Feb 2021 19:03:22 +0000 (16:03 -0300)
commita2d72a1fafccbeaeafec32f85776b03077dbb0fe
treebea016dc86d286d498e33c2a3f728ba746681fedtree
parentdea7a1fc8360735f90618f005509306c7c45bd30commit | diff
[proof-new] Optionally print conclusion in the AST proof (#5954)

Adds an option to optionally print conclusion in the AST proof.
src/expr/proof_node_to_sexpr.cpp diff | blob | history
src/expr/proof_node_to_sexpr.h diff | blob | history
src/options/proof_options.toml diff | blob | history