projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5953c95) | patch
Adding example proof signatures for LFSC.
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 Oct 2013 14:52:24 +0000 (09:52 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 Oct 2013 14:52:24 +0000 (09:52 -0500)
commite5d9aa3cc6606274169b17689830107bdb1eef18
tree9d525c01ac6eba97af1a9f19be118f59e9494a74tree
parent5953c950bef395488d76d63ebabefce98814a06dcommit | diff
Adding example proof signatures for LFSC.
proofs/signatures/example.plf [new file with mode: 0755] blob
proofs/signatures/sat.plf [new file with mode: 0755] blob
proofs/signatures/smt.plf [new file with mode: 0755] blob
proofs/signatures/th_base.plf [new file with mode: 0755] blob