Changing file permissions to add or remove executable tag as appropriate.

diff --git a/contrib/mk_starexec b/contrib/mk_starexec
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/contrib/run-script-casc25-fnt b/contrib/run-script-casc25-fnt
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/contrib/run-script-casc25-tfa b/contrib/run-script-casc25-tfa
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/contrib/run-script-casc25-tfn b/contrib/run-script-casc25-tfn
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/contrib/run-script-syguscomp2015 b/contrib/run-script-syguscomp2015
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/src/theory/datatypes/type_enumerator.cpp b/src/theory/datatypes/type_enumerator.cpp
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/src/theory/quantifiers/alpha_equivalence.cpp b/src/theory/quantifiers/alpha_equivalence.cpp
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/src/theory/quantifiers/alpha_equivalence.h b/src/theory/quantifiers/alpha_equivalence.h
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/src/theory/quantifiers/quant_equality_engine.cpp b/src/theory/quantifiers/quant_equality_engine.cpp
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/src/theory/quantifiers/quant_equality_engine.h b/src/theory/quantifiers/quant_equality_engine.h
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/datatypes/cdt-model-cade15.smt2 b/test/regress/regress0/datatypes/cdt-model-cade15.smt2
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/push-pop/bug654-dd.smt2 b/test/regress/regress0/push-pop/bug654-dd.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/quantifiers/floor.smt2 b/test/regress/regress0/quantifiers/floor.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/quantifiers/is-int.smt2 b/test/regress/regress0/quantifiers/is-int.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/crash-1019.smt2 b/test/regress/regress0/strings/crash-1019.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/idof-triv.smt2 b/test/regress/regress0/strings/idof-triv.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/ilc-l-nt.smt2 b/test/regress/regress0/strings/ilc-l-nt.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/ilc-like.smt2 b/test/regress/regress0/strings/ilc-like.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/indexof-sym-simp.smt2 b/test/regress/regress0/strings/indexof-sym-simp.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/kaluza-fl.smt2 b/test/regress/regress0/strings/kaluza-fl.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/norn-ab.smt2 b/test/regress/regress0/strings/norn-ab.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/norn-simp-rew.smt2 b/test/regress/regress0/strings/norn-simp-rew.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/strings/unsound-0908.smt2 b/test/regress/regress0/strings/unsound-0908.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/sygus/no-flat-simp.sy b/test/regress/regress0/sygus/no-flat-simp.sy
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/sygus/sygus-dt.sy b/test/regress/regress0/sygus/sygus-dt.sy
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/uf/cnf-and-neg.smt2 b/test/regress/regress0/uf/cnf-and-neg.smt2
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/test/regress/regress0/uf/cnf_abc.smt2 b/test/regress/regress0/uf/cnf_abc.smt2
old mode 100755 (executable)
new mode 100644 (file)