projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f89653) | patch
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)
commit740c30f31479d75ba09009f6ed556261888a2fdb
treeb9ab7e8c1c1ea77542e17476bbe15ca5919a5ca8tree
parent4f8965352cacbc0cca9c88d71c1a69b7055822efcommit | diff
Setting the executable bit for the newer run scripts in contrib.
contrib/run-script-cascj8-fnt [changed mode: 0644->0755] blob | history
contrib/run-script-cascj8-fof [changed mode: 0644->0755] blob | history
contrib/run-script-cascj8-tfa [changed mode: 0644->0755] blob | history
contrib/run-script-cascj8-tfn [changed mode: 0644->0755] blob | history
contrib/run-script-smtcomp2016 [changed mode: 0644->0755] blob | history
contrib/run-script-smtcomp2016-application [changed mode: 0644->0755] blob | history
contrib/run-script-sygusComp2016-CLIA [changed mode: 0644->0755] blob | history
contrib/run-script-sygusComp2016-INV [changed mode: 0644->0755] blob | history
contrib/run-script-sygusComp2016-PBE [changed mode: 0644->0755] blob | history