projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bfa897) | patch
Add proof letify utility (#6881)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 01:31:21 +0000 (20:31 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 01:31:21 +0000 (01:31 +0000)
commitf5d32970e5601ce0b4246cef5bca0636425fdc34
tree2d6861e9150c6cb0821bb29d3f7f5064d6039b7atree
parent8bfa89721ce12e815abbbbe2caf87f2384bc8eb5commit | diff
Add proof letify utility (#6881)

Towards support for external proof conversions.
src/CMakeLists.txt diff | blob | history
src/proof/proof_letify.cpp [new file with mode: 0644] blob
src/proof/proof_letify.h [new file with mode: 0644] blob