projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3510c76) | patch
Alethe: Further Printer Implementation (#7675)
authorLachnitt <lachnitt@stanford.edu>
Tue, 30 Nov 2021 17:45:31 +0000 (09:45 -0800)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 17:45:31 +0000 (17:45 +0000)
commitc5f96858234d6634b744ef8e4250316c62196430
tree99170e69a5c02c9ab657b9e87f186b8e80a4f80atree
parent3510c76b9bbfa8997da7cd934071adb863b7153fcommit | diff
Alethe: Further Printer Implementation (#7675)

Adds implementation of PrintInternal a function to print a proof node after the first step has been printed.

Should be merged after PR #7674.

Co-authored-by: Haniel Barbosa hanielbbarbosa@gmail.com
src/proof/alethe/alethe_printer.cpp diff | blob | history