projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b0650b) | patch
Add Lfsc print channel utilities (#7123)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 8 Sep 2021 21:42:30 +0000 (16:42 -0500)
committerGitHub <noreply@github.com>
Wed, 8 Sep 2021 21:42:30 +0000 (21:42 +0000)
commitb9dcd4d141cef256b4371aa103af4ee1aa7c61bd
tree907827ca44f9eadd046e382c48392068f7a33618tree
parent4b0650bfe0c1df81ad3236def912543510932320commit | diff
Add Lfsc print channel utilities (#7123)

These are utilities used for two-pass printing of LFSC proofs.
src/CMakeLists.txt diff | blob | history
src/proof/lfsc/lfsc_print_channel.cpp [new file with mode: 0644] blob
src/proof/lfsc/lfsc_print_channel.h [new file with mode: 0644] blob