diff options
author | Tim King <taking@google.com> | 2017-01-04 12:59:16 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-01-04 12:59:16 -0800 |
commit | 740c30f31479d75ba09009f6ed556261888a2fdb (patch) | |
tree | b9ab7e8c1c1ea77542e17476bbe15ca5919a5ca8 /contrib | |
parent | 4f8965352cacbc0cca9c88d71c1a69b7055822ef (diff) |
Setting the executable bit for the newer run scripts in contrib.
Diffstat (limited to 'contrib')
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-cascj8-fnt | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-cascj8-fof | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-cascj8-tfa | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-cascj8-tfn | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-smtcomp2016 | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-smtcomp2016-application | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-sygusComp2016-CLIA | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-sygusComp2016-INV | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-sygusComp2016-PBE | 0 |
9 files changed, 0 insertions, 0 deletions
diff --git a/contrib/run-script-cascj8-fnt b/contrib/run-script-cascj8-fnt index bc37180a6..bc37180a6 100644..100755 --- a/contrib/run-script-cascj8-fnt +++ b/contrib/run-script-cascj8-fnt diff --git a/contrib/run-script-cascj8-fof b/contrib/run-script-cascj8-fof index fe18c3ed0..fe18c3ed0 100644..100755 --- a/contrib/run-script-cascj8-fof +++ b/contrib/run-script-cascj8-fof diff --git a/contrib/run-script-cascj8-tfa b/contrib/run-script-cascj8-tfa index da4056466..da4056466 100644..100755 --- a/contrib/run-script-cascj8-tfa +++ b/contrib/run-script-cascj8-tfa diff --git a/contrib/run-script-cascj8-tfn b/contrib/run-script-cascj8-tfn index a6fe1e23c..a6fe1e23c 100644..100755 --- a/contrib/run-script-cascj8-tfn +++ b/contrib/run-script-cascj8-tfn diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016 index 58b281b4c..58b281b4c 100644..100755 --- a/contrib/run-script-smtcomp2016 +++ b/contrib/run-script-smtcomp2016 diff --git a/contrib/run-script-smtcomp2016-application b/contrib/run-script-smtcomp2016-application index 88bbb5f53..88bbb5f53 100644..100755 --- a/contrib/run-script-smtcomp2016-application +++ b/contrib/run-script-smtcomp2016-application diff --git a/contrib/run-script-sygusComp2016-CLIA b/contrib/run-script-sygusComp2016-CLIA index 3dc08d8c0..3dc08d8c0 100644..100755 --- a/contrib/run-script-sygusComp2016-CLIA +++ b/contrib/run-script-sygusComp2016-CLIA diff --git a/contrib/run-script-sygusComp2016-INV b/contrib/run-script-sygusComp2016-INV index a25a5f5c8..a25a5f5c8 100644..100755 --- a/contrib/run-script-sygusComp2016-INV +++ b/contrib/run-script-sygusComp2016-INV diff --git a/contrib/run-script-sygusComp2016-PBE b/contrib/run-script-sygusComp2016-PBE index 19d8fd891..19d8fd891 100644..100755 --- a/contrib/run-script-sygusComp2016-PBE +++ b/contrib/run-script-sygusComp2016-PBE |