projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63a6e17) | patch
Add subdirectories to contrib for competition scripts (#3164)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 8 Aug 2019 20:16:41 +0000 (15:16 -0500)
committerGitHub <noreply@github.com>
Thu, 8 Aug 2019 20:16:41 +0000 (15:16 -0500)
commita56575f413499d256e81f6ca1a64ffe1413ed3c7
tree03ea560fb5b45eb0877e1df4bdfe410ea9de79ddtree
parent63a6e17196d849ad6e57bce7490eafb5b7f7f3eccommit | diff
Add subdirectories to contrib for competition scripts (#3164)
140 files changed:
contrib/competitions/casc/run-script-casc24-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc24-fnt-no-models [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc24-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc25-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc25-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc25-tfa [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc25-tfn [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc26-fnt [new file with mode: 0644] blob
contrib/competitions/casc/run-script-casc26-fof [new file with mode: 0644] blob
contrib/competitions/casc/run-script-casc26-tfa [new file with mode: 0644] blob
contrib/competitions/casc/run-script-casc27-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc27-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc27-tfa [new file with mode: 0755] blob
contrib/competitions/casc/run-script-casc27-thf [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj7-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj7-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj7-tff [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj8-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj8-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj8-tfa [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj8-tfn [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj9-fnt [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj9-fof [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj9-tfa [new file with mode: 0755] blob
contrib/competitions/casc/run-script-cascj9-tfn-nr [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2012 [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2014 [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2014-application [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2015 [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2015-application [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2015-assertions [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2016 [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2016-application [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2017 [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2017-application [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2017-unsat-cores [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2018 [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2018-application [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2018-unsat-cores [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2019 [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2019-incremental [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2019-model-validation [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2019-unsat-cores [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smteval2013 [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2016-CLIA [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2016-GENERAL [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2016-INV [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2016-PBE [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2017-CLIA [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2017-GENERAL [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2017-INV [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_BitVec [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_Strings [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2018-CLIA [new file with mode: 0644] blob
contrib/competitions/sygus-comp/run-script-sygusComp2018-GENERAL [new file with mode: 0644] blob
contrib/competitions/sygus-comp/run-script-sygusComp2018-INV [new file with mode: 0644] blob
contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_BitVec [new file with mode: 0644] blob
contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_Strings [new file with mode: 0644] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-CLIA [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-auto [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-su [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-syguscomp2015 [new file with mode: 0755] blob
contrib/run-script-casc24-fnt [deleted file] blob | history
contrib/run-script-casc24-fnt-no-models [deleted file] blob | history
contrib/run-script-casc24-fof [deleted file] blob | history
contrib/run-script-casc25-fnt [deleted file] blob | history
contrib/run-script-casc25-fof [deleted file] blob | history
contrib/run-script-casc25-tfa [deleted file] blob | history
contrib/run-script-casc25-tfn [deleted file] blob | history
contrib/run-script-casc26-fnt [deleted file] blob | history
contrib/run-script-casc26-fof [deleted file] blob | history
contrib/run-script-casc26-tfa [deleted file] blob | history
contrib/run-script-casc27-fnt [deleted file] blob | history
contrib/run-script-casc27-fof [deleted file] blob | history
contrib/run-script-casc27-tfa [deleted file] blob | history
contrib/run-script-casc27-thf [deleted file] blob | history
contrib/run-script-cascj7-fnt [deleted file] blob | history
contrib/run-script-cascj7-fof [deleted file] blob | history
contrib/run-script-cascj7-tff [deleted file] blob | history
contrib/run-script-cascj8-fnt [deleted file] blob | history
contrib/run-script-cascj8-fof [deleted file] blob | history
contrib/run-script-cascj8-tfa [deleted file] blob | history
contrib/run-script-cascj8-tfn [deleted file] blob | history
contrib/run-script-cascj9-fnt [deleted file] blob | history
contrib/run-script-cascj9-fof [deleted file] blob | history
contrib/run-script-cascj9-tfa [deleted file] blob | history
contrib/run-script-cascj9-tfn-nr [deleted file] blob | history
contrib/run-script-smtcomp2012 [deleted file] blob | history
contrib/run-script-smtcomp2014 [deleted file] blob | history
contrib/run-script-smtcomp2014-application [deleted file] blob | history
contrib/run-script-smtcomp2015 [deleted file] blob | history
contrib/run-script-smtcomp2015-application [deleted file] blob | history
contrib/run-script-smtcomp2015-assertions [deleted file] blob | history
contrib/run-script-smtcomp2016 [deleted file] blob | history
contrib/run-script-smtcomp2016-application [deleted file] blob | history
contrib/run-script-smtcomp2017 [deleted file] blob | history
contrib/run-script-smtcomp2017-application [deleted file] blob | history
contrib/run-script-smtcomp2017-unsat-cores [deleted file] blob | history
contrib/run-script-smtcomp2018 [deleted file] blob | history
contrib/run-script-smtcomp2018-application [deleted file] blob | history
contrib/run-script-smtcomp2018-unsat-cores [deleted file] blob | history
contrib/run-script-smtcomp2019 [deleted file] blob | history
contrib/run-script-smtcomp2019-incremental [deleted file] blob | history
contrib/run-script-smtcomp2019-model-validation [deleted file] blob | history
contrib/run-script-smtcomp2019-unsat-cores [deleted file] blob | history
contrib/run-script-smteval2013 [deleted file] blob | history
contrib/run-script-sygusComp2016-CLIA [deleted file] blob | history
contrib/run-script-sygusComp2016-GENERAL [deleted file] blob | history
contrib/run-script-sygusComp2016-INV [deleted file] blob | history
contrib/run-script-sygusComp2016-PBE [deleted file] blob | history
contrib/run-script-sygusComp2017-CLIA [deleted file] blob | history
contrib/run-script-sygusComp2017-GENERAL [deleted file] blob | history
contrib/run-script-sygusComp2017-INV [deleted file] blob | history
contrib/run-script-sygusComp2017-PBE_BitVec [deleted file] blob | history
contrib/run-script-sygusComp2017-PBE_Strings [deleted file] blob | history
contrib/run-script-sygusComp2018-CLIA [deleted file] blob | history
contrib/run-script-sygusComp2018-GENERAL [deleted file] blob | history
contrib/run-script-sygusComp2018-INV [deleted file] blob | history
contrib/run-script-sygusComp2018-PBE_BitVec [deleted file] blob | history
contrib/run-script-sygusComp2018-PBE_Strings [deleted file] blob | history
contrib/run-script-sygusComp2019-CLIA [deleted file] blob | history
contrib/run-script-sygusComp2019-GENERAL-auto [deleted file] blob | history
contrib/run-script-sygusComp2019-GENERAL-f [deleted file] blob | history
contrib/run-script-sygusComp2019-GENERAL-s [deleted file] blob | history
contrib/run-script-sygusComp2019-INV-f [deleted file] blob | history
contrib/run-script-sygusComp2019-INV-s [deleted file] blob | history
contrib/run-script-sygusComp2019-INV-su [deleted file] blob | history
contrib/run-script-sygusComp2019-PBE_BitVec-f [deleted file] blob | history
contrib/run-script-sygusComp2019-PBE_BitVec-s [deleted file] blob | history
contrib/run-script-sygusComp2019-PBE_Strings-f [deleted file] blob | history
contrib/run-script-sygusComp2019-PBE_Strings-s [deleted file] blob | history
contrib/run-script-syguscomp2015 [deleted file] blob | history