projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9cffe9) | patch
Finish the LFSC printer (#7285)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 7 Oct 2021 17:45:50 +0000 (12:45 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 17:45:50 +0000 (17:45 +0000)
commitcb20e47bc69a6bdf00ab255ed23b3cfd9c26c10b
tree4e2f4efa69a8afbf2f178f5fb9cd87661b0d23a3tree
parente9cffe98e1ef34cde01e7778fc2be55839044007commit | diff
Finish the LFSC printer (#7285)

This adds the remaining implementation of the LFSC printer.

It also corrects a bug introduced during merging the last PR.

The printer will be connected to the proof manager in a follow up PR. It will also be extended with support for DSL proof rule printing when the infrastructure is added.
src/proof/lfsc/lfsc_printer.cpp diff | blob | history