projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82f4d5b) | patch
Fix file permissions
authorClark Barrett <clarkbarrett@google.com>
Tue, 21 Apr 2015 21:30:51 +0000 (14:30 -0700)
committerClark Barrett <clarkbarrett@google.com>
Tue, 21 Apr 2015 21:30:51 +0000 (14:30 -0700)
commit22601bce9648a8e784527e4e5d176f634d234797
treea31962a3e1f6c01cca6e110b3b7cc9951dfc0c63tree
parent82f4d5bd67f70a561b0f6357f6d6b80c2fcd7b64commit | diff
Fix file permissions
13 files changed:
src/theory/quantifiers/conjecture_generator.cpp [changed mode: 0755->0644] blob | history
src/theory/quantifiers/conjecture_generator.h [changed mode: 0755->0644] blob | history
src/theory/quantifiers/quant_conflict_find.cpp [changed mode: 0755->0644] blob | history
src/theory/quantifiers/quant_conflict_find.h [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/bug0909.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/fc-pigeonhole19.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/fc-simple.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/fc-unsat-pent.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/fc-unsat-tot-2.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/quantifiers/ARI176e1.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/quantifiers/simp-typ-test.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/rewriterules/read5.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/uf/mkpidgeon [changed mode: 0755->0644] blob | history