From 22601bce9648a8e784527e4e5d176f634d234797 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Tue, 21 Apr 2015 14:30:51 -0700 Subject: [PATCH] Fix file permissions --- src/theory/quantifiers/conjecture_generator.cpp | 0 src/theory/quantifiers/conjecture_generator.h | 0 src/theory/quantifiers/quant_conflict_find.cpp | 0 src/theory/quantifiers/quant_conflict_find.h | 0 test/regress/regress0/fmf/bug0909.smt2 | 0 test/regress/regress0/fmf/fc-pigeonhole19.smt2 | 0 test/regress/regress0/fmf/fc-simple.smt2 | 0 test/regress/regress0/fmf/fc-unsat-pent.smt2 | 0 test/regress/regress0/fmf/fc-unsat-tot-2.smt2 | 0 test/regress/regress0/quantifiers/ARI176e1.smt2 | 0 test/regress/regress0/quantifiers/simp-typ-test.smt2 | 0 test/regress/regress0/rewriterules/read5.smt2 | 0 test/regress/regress0/uf/mkpidgeon | 0 13 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/theory/quantifiers/conjecture_generator.cpp mode change 100755 => 100644 src/theory/quantifiers/conjecture_generator.h mode change 100755 => 100644 src/theory/quantifiers/quant_conflict_find.cpp mode change 100755 => 100644 src/theory/quantifiers/quant_conflict_find.h mode change 100755 => 100644 test/regress/regress0/fmf/bug0909.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/fc-pigeonhole19.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/fc-simple.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/fc-unsat-pent.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/fc-unsat-tot-2.smt2 mode change 100755 => 100644 test/regress/regress0/quantifiers/ARI176e1.smt2 mode change 100755 => 100644 test/regress/regress0/quantifiers/simp-typ-test.smt2 mode change 100755 => 100644 test/regress/regress0/rewriterules/read5.smt2 mode change 100755 => 100644 test/regress/regress0/uf/mkpidgeon 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 -- 2.30.2