projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4f89653)
Setting the executable bit for the newer run scripts in contrib.
authorTim King <taking@google.com>
Wed, 4 Jan 2017 20:59:16 +0000 (12:59 -0800)
committerTim King <taking@google.com>
Wed, 4 Jan 2017 20:59:16 +0000 (12:59 -0800)
contrib/run-script-cascj8-fnt [changed mode: 0644->0755] patch | blob | history
contrib/run-script-cascj8-fof [changed mode: 0644->0755] patch | blob | history
contrib/run-script-cascj8-tfa [changed mode: 0644->0755] patch | blob | history
contrib/run-script-cascj8-tfn [changed mode: 0644->0755] patch | blob | history
contrib/run-script-smtcomp2016 [changed mode: 0644->0755] patch | blob | history
contrib/run-script-smtcomp2016-application [changed mode: 0644->0755] patch | blob | history
contrib/run-script-sygusComp2016-CLIA [changed mode: 0644->0755] patch | blob | history
contrib/run-script-sygusComp2016-INV [changed mode: 0644->0755] patch | blob | history
contrib/run-script-sygusComp2016-PBE [changed mode: 0644->0755] patch | blob | history

diff --git a/contrib/run-script-cascj8-fnt b/contrib/run-script-cascj8-fnt
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-cascj8-fof b/contrib/run-script-cascj8-fof
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-cascj8-tfa b/contrib/run-script-cascj8-tfa
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-cascj8-tfn b/contrib/run-script-cascj8-tfn
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-smtcomp2016-application b/contrib/run-script-smtcomp2016-application
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-sygusComp2016-CLIA b/contrib/run-script-sygusComp2016-CLIA
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-sygusComp2016-INV b/contrib/run-script-sygusComp2016-INV
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/contrib/run-script-sygusComp2016-PBE b/contrib/run-script-sygusComp2016-PBE
old mode 100644 (file)
new mode 100755 (executable)