projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4239b8b) | patch
Add basic LFSC utilities (#6879)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 15:30:31 +0000 (10:30 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 15:30:31 +0000 (15:30 +0000)
commit119516a98c052e79ad55e126d13ce1ded38f90af
tree3c24101ff3dbcbd7d1f6366d3a235fb7d60c25eatree
parent4239b8bf84fcea902802812508668c866f700ddacommit | diff
Add basic LFSC utilities (#6879)

Adds basic utilities in preparation for the LFSC proof conversion.

Depends on #6881, review that first.
src/CMakeLists.txt diff | blob | history
src/proof/lfsc/lfsc_util.cpp [new file with mode: 0644] blob
src/proof/lfsc/lfsc_util.h [new file with mode: 0644] blob
src/proof/proof_rule.cpp diff | blob | history
src/proof/proof_rule.h diff | blob | history