projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ae5647) | patch
Archive SMT-COMP 2021 run scripts (#6748)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 16 Jun 2021 20:30:56 +0000 (13:30 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Jun 2021 20:30:56 +0000 (20:30 +0000)
commit0f04a6c4cf618fb5914934bac5b5c6277f07127c
tree4f5451d64415a2c2b3602357a78d06c2a2823923tree
parent6ae5647e754925a5c963d2b92c7255d7e0de6b03commit | diff
Archive SMT-COMP 2021 run scripts (#6748)

This commit copies the run-script-smtcomp-current* scripts to run-script-smtcomp2021* to archive them.
contrib/competitions/smt-comp/run-script-smtcomp2021 [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2021-incremental [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2021-model-validation [new file with mode: 0755] blob
contrib/competitions/smt-comp/run-script-smtcomp2021-unsat-cores [new file with mode: 0755] blob