From 62e9dc362cb890590b2675cbe800f9e3e58f52ae Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 4 Jan 2017 13:00:25 -0800 Subject: [PATCH] Marking the proof signature files as non-executable. --- proofs/signatures/ex-mem.plf | 0 proofs/signatures/example-arrays.plf | 0 proofs/signatures/example-quant.plf | 0 proofs/signatures/example.plf | 0 proofs/signatures/sat.plf | 0 proofs/signatures/smt.plf | 0 proofs/signatures/th_arrays.plf | 0 proofs/signatures/th_base.plf | 0 proofs/signatures/th_quant.plf | 0 9 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 proofs/signatures/ex-mem.plf mode change 100755 => 100644 proofs/signatures/example-arrays.plf mode change 100755 => 100644 proofs/signatures/example-quant.plf mode change 100755 => 100644 proofs/signatures/example.plf mode change 100755 => 100644 proofs/signatures/sat.plf mode change 100755 => 100644 proofs/signatures/smt.plf mode change 100755 => 100644 proofs/signatures/th_arrays.plf mode change 100755 => 100644 proofs/signatures/th_base.plf mode change 100755 => 100644 proofs/signatures/th_quant.plf 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 -- 2.30.2