projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9494307) | patch
Add print expression utility (#6880)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 13:33:23 +0000 (08:33 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 13:33:23 +0000 (13:33 +0000)
commit7ace6d43eeabb9ff2575f385ced5e2ed3c31ea2d
tree091158e2fdc07594671a74feb0f81cb87d8ef8b2tree
parent94943076044eb21793c2cb6d202e8dd9eb9e184ecommit | diff
Add print expression utility (#6880)

This will be used in the LFSC printer. It may be of general use to other proof printers.
src/proof/print_expr.cpp [new file with mode: 0644] blob
src/proof/print_expr.h [new file with mode: 0644] blob