From: Tim King Date: Sat, 7 Nov 2015 06:53:53 +0000 (-0800) Subject: Changing file permissions to add or remove executable tag as appropriate. X-Git-Tag: cvc5-1.0.0~6174 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b2e8be53f0839809a2f76df0754b37a7e56db08;p=cvc5.git Changing file permissions to add or remove executable tag as appropriate. --- diff --git a/contrib/mk_starexec b/contrib/mk_starexec old mode 100644 new mode 100755 diff --git a/contrib/run-script-casc25-fnt b/contrib/run-script-casc25-fnt old mode 100644 new mode 100755 diff --git a/contrib/run-script-casc25-tfa b/contrib/run-script-casc25-tfa old mode 100644 new mode 100755 diff --git a/contrib/run-script-casc25-tfn b/contrib/run-script-casc25-tfn old mode 100644 new mode 100755 diff --git a/contrib/run-script-syguscomp2015 b/contrib/run-script-syguscomp2015 old mode 100644 new mode 100755 diff --git a/src/theory/datatypes/type_enumerator.cpp b/src/theory/datatypes/type_enumerator.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/alpha_equivalence.cpp b/src/theory/quantifiers/alpha_equivalence.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/alpha_equivalence.h b/src/theory/quantifiers/alpha_equivalence.h old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_equality_engine.cpp b/src/theory/quantifiers/quant_equality_engine.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_equality_engine.h b/src/theory/quantifiers/quant_equality_engine.h old mode 100755 new mode 100644 diff --git a/test/regress/regress0/datatypes/cdt-model-cade15.smt2 b/test/regress/regress0/datatypes/cdt-model-cade15.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/syn002-si-real-int.smt2 b/test/regress/regress0/fmf/syn002-si-real-int.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/push-pop/bug654-dd.smt2 b/test/regress/regress0/push-pop/bug654-dd.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/quantifiers/floor.smt2 b/test/regress/regress0/quantifiers/floor.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/quantifiers/is-int.smt2 b/test/regress/regress0/quantifiers/is-int.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/crash-1019.smt2 b/test/regress/regress0/strings/crash-1019.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/idof-triv.smt2 b/test/regress/regress0/strings/idof-triv.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/ilc-l-nt.smt2 b/test/regress/regress0/strings/ilc-l-nt.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/ilc-like.smt2 b/test/regress/regress0/strings/ilc-like.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/indexof-sym-simp.smt2 b/test/regress/regress0/strings/indexof-sym-simp.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/kaluza-fl.smt2 b/test/regress/regress0/strings/kaluza-fl.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/norn-ab.smt2 b/test/regress/regress0/strings/norn-ab.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/norn-simp-rew.smt2 b/test/regress/regress0/strings/norn-simp-rew.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/strings/unsound-0908.smt2 b/test/regress/regress0/strings/unsound-0908.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sygus/no-flat-simp.sy b/test/regress/regress0/sygus/no-flat-simp.sy old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sygus/sygus-dt.sy b/test/regress/regress0/sygus/sygus-dt.sy old mode 100755 new mode 100644 diff --git a/test/regress/regress0/uf/cnf-and-neg.smt2 b/test/regress/regress0/uf/cnf-and-neg.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/uf/cnf_abc.smt2 b/test/regress/regress0/uf/cnf_abc.smt2 old mode 100755 new mode 100644