From: Tim King Date: Wed, 4 Jan 2017 21:00:25 +0000 (-0800) Subject: Marking the proof signature files as non-executable. X-Git-Tag: cvc5-1.0.0~5926 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62e9dc362cb890590b2675cbe800f9e3e58f52ae;p=cvc5.git Marking the proof signature files as non-executable. --- diff --git a/proofs/signatures/ex-mem.plf b/proofs/signatures/ex-mem.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/example-arrays.plf b/proofs/signatures/example-arrays.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/example-quant.plf b/proofs/signatures/example-quant.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/example.plf b/proofs/signatures/example.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/sat.plf b/proofs/signatures/sat.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/smt.plf b/proofs/signatures/smt.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/th_arrays.plf b/proofs/signatures/th_arrays.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/th_base.plf b/proofs/signatures/th_base.plf old mode 100755 new mode 100644 diff --git a/proofs/signatures/th_quant.plf b/proofs/signatures/th_quant.plf old mode 100755 new mode 100644