projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0971aa0) | patch
Initial draft of 2017 competition scripts.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 22 May 2017 16:00:10 +0000 (11:00 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 22 May 2017 16:00:10 +0000 (11:00 -0500)
commit02b3aba2273232504e76e0c7d49226ef2a27977f
treecef4178f5dd8c69549dbc9217681e69588e8d4catree
parent0971aa005c33fb1aaa18ed4522e25d89bb909238commit | diff
Initial draft of 2017 competition scripts.
contrib/run-script-casc26-fnt [new file with mode: 0644] blob
contrib/run-script-casc26-fof [new file with mode: 0644] blob
contrib/run-script-casc26-tfa [new file with mode: 0644] blob
contrib/run-script-smtcomp2017 [new file with mode: 0644] blob
contrib/run-script-smtcomp2017-application [new file with mode: 0644] blob
contrib/run-script-sygusComp2017-CLIA [new file with mode: 0755] blob
contrib/run-script-sygusComp2017-GENERAL [new file with mode: 0755] blob
contrib/run-script-sygusComp2017-INV [new file with mode: 0755] blob
contrib/run-script-sygusComp2017-PBE_BitVec [new file with mode: 0755] blob
contrib/run-script-sygusComp2017-PBE_Strings [new file with mode: 0755] blob