summaryrefslogtreecommitdiff
path: root/contrib/competitions/smt-comp/run-script-smtcomp-current
AgeCommit message (Expand)Author
2021-05-12Preliminary draft of changes for SMT comp 2021 (#6522)Andrew Reynolds
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2020-05-23[SMT-COMP] Redirect non-answers to /dev/null (#4528)Andres Noetzli
2020-05-06Update run scripts for SMT-COMP 2020 (#4454)Andres Noetzli
2020-05-01SMT-COMP 2020: Enable --fp-exp for new FP logics. (#4432)Aina Niemetz
2020-04-29SMT-COMP 2020: Fix scripts to use --no-type-checking instead of --no-checking...Aina Niemetz
2020-04-28Updates to SMT COMP script for 20 minute timeout (#4406)Andrew Reynolds
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2020-04-22Allow eager bitblasting with solve bv as int in QF_NIA (#4373)Andrew Reynolds
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-03-24Int2BV fail on demand (#4079)yoni206
2020-03-11Do not enable some SMT-COMP specific options by default (#4038)Andrew Reynolds
2019-09-18Add run script for next SMT-COMP (#3298)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback