projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b7384) | patch
Improvements for LFSC proof conversion (#7524)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 29 Oct 2021 13:32:06 +0000 (08:32 -0500)
committerGitHub <noreply@github.com>
Fri, 29 Oct 2021 13:32:06 +0000 (13:32 +0000)
commitc1e90ce118705dc3d572300fd8c922973864df91
treecb5dab558cdcb40649555afb981605fd112c6783tree
parent70b7384838d1e9c99bdbd26d40feab3463eb0ebdcommit | diff
Improvements for LFSC proof conversion (#7524)

Includes miscellaneous improvements and fixes to the LFSC proof conversion from proof-new in preparation for CI on master.
src/expr/node_converter.cpp diff | blob | history
src/expr/node_converter.h diff | blob | history
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history
src/proof/lfsc/lfsc_post_processor.cpp diff | blob | history