projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77b75a6) | patch
Deleting old LFSC signatures (#6194)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 25 Mar 2021 04:26:17 +0000 (01:26 -0300)
committerGitHub <noreply@github.com>
Thu, 25 Mar 2021 04:26:17 +0000 (04:26 +0000)
commitb3c6975af6354eb027aa52d6a23386b5dd0ef1cd
tree73fca909b5225240d4092d259835fee712ae4684tree
parent77b75a69e51b742e1448d754b6886c10ef76e79fcommit | diff
Deleting old LFSC signatures (#6194)
28 files changed:
proofs/signatures/CMakeLists.txt [deleted file] blob | history
proofs/signatures/drat.plf [deleted file] blob | history
proofs/signatures/er.plf [deleted file] blob | history
proofs/signatures/lrat.plf [deleted file] blob | history
proofs/signatures/sat.plf [deleted file] blob | history
proofs/signatures/signatures.cpp.in [deleted file] blob | history
proofs/signatures/smt.plf [deleted file] blob | history
proofs/signatures/th_arrays.plf [deleted file] blob | history
proofs/signatures/th_base.plf [deleted file] blob | history
proofs/signatures/th_bv.plf [deleted file] blob | history
proofs/signatures/th_bv_bitblast.plf [deleted file] blob | history
proofs/signatures/th_bv_rewrites.plf [deleted file] blob | history
proofs/signatures/th_int.plf [deleted file] blob | history
proofs/signatures/th_lira.plf [deleted file] blob | history
proofs/signatures/th_quant.plf [deleted file] blob | history
proofs/signatures/th_real.plf [deleted file] blob | history
test/signatures/CMakeLists.txt [deleted file] blob | history
test/signatures/README.md [deleted file] blob | history
test/signatures/drat_test.plf [deleted file] blob | history
test/signatures/er_test.plf [deleted file] blob | history
test/signatures/ex-mem.plf [deleted file] blob | history
test/signatures/ex_bv.plf [deleted file] blob | history
test/signatures/example-arrays.plf [deleted file] blob | history
test/signatures/example-quant.plf [deleted file] blob | history
test/signatures/example.plf [deleted file] blob | history
test/signatures/lrat_test.plf [deleted file] blob | history
test/signatures/run_test.py [deleted file] blob | history
test/signatures/th_lira_test.plf [deleted file] blob | history