projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da544fa) | patch
Add the LFSC proof post-processor (#7134)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 20 Sep 2021 18:02:59 +0000 (13:02 -0500)
committerGitHub <noreply@github.com>
Mon, 20 Sep 2021 18:02:59 +0000 (18:02 +0000)
commit44832e870dcf44c4710411331f9ce21e7f0dc64f
treef0fb7ca2335a6025c27bd74387af189aa7905f63tree
parentda544fa7acb94fd3602774ed55c7c819b946f785commit | diff
Add the LFSC proof post-processor (#7134)

Includes the necessary conversions to LFSC for the core rules of the internal calculus.
src/CMakeLists.txt diff | blob | history
src/proof/lfsc/lfsc_post_processor.cpp [new file with mode: 0644] blob
src/proof/lfsc/lfsc_post_processor.h [new file with mode: 0644] blob