projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f82d631) | patch
[proofs] Alethe: Implementation of Printer (#7674)
authorLachnitt <lachnitt@stanford.edu>
Tue, 30 Nov 2021 16:54:31 +0000 (08:54 -0800)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 16:54:31 +0000 (16:54 +0000)
commit3510c76b9bbfa8997da7cd934071adb863b7153f
treedb29e2dbf33364d1ffbd31cd22e9d1dfc0faa3bdtree
parentf82d6315c5e7dbc988e4e8f0912314469542aceacommit | diff
[proofs] Alethe: Implementation of Printer (#7674)

Adds an implementation file of the Alethe printer with function stubs to be filled in in further PRs.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/CMakeLists.txt diff | blob | history
src/proof/alethe/alethe_printer.cpp [new file with mode: 0644] blob