From: Clark Barrett Date: Tue, 21 Apr 2015 21:30:51 +0000 (-0700) Subject: Fix file permissions X-Git-Tag: cvc5-1.0.0~6348 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=22601bce9648a8e784527e4e5d176f634d234797;p=cvc5.git Fix file permissions --- diff --git a/src/theory/quantifiers/conjecture_generator.cpp b/src/theory/quantifiers/conjecture_generator.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/conjecture_generator.h b/src/theory/quantifiers/conjecture_generator.h old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_conflict_find.cpp b/src/theory/quantifiers/quant_conflict_find.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_conflict_find.h b/src/theory/quantifiers/quant_conflict_find.h old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/bug0909.smt2 b/test/regress/regress0/fmf/bug0909.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/fc-pigeonhole19.smt2 b/test/regress/regress0/fmf/fc-pigeonhole19.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/fc-simple.smt2 b/test/regress/regress0/fmf/fc-simple.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/fc-unsat-pent.smt2 b/test/regress/regress0/fmf/fc-unsat-pent.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/fc-unsat-tot-2.smt2 b/test/regress/regress0/fmf/fc-unsat-tot-2.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/quantifiers/ARI176e1.smt2 b/test/regress/regress0/quantifiers/ARI176e1.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/quantifiers/simp-typ-test.smt2 b/test/regress/regress0/quantifiers/simp-typ-test.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/rewriterules/read5.smt2 b/test/regress/regress0/rewriterules/read5.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/uf/mkpidgeon b/test/regress/regress0/uf/mkpidgeon old mode 100755 new mode 100644