summaryrefslogtreecommitdiff
path: root/contrib/competitions/smt-comp
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-08-21Remove BV equality slicer (#4928)Andrew Reynolds
2020-07-10Update competition scripts (#4715)Andrew Reynolds
2020-05-23[SMT-COMP] Redirect non-answers to /dev/null (#4528)Andres Noetzli
2020-05-22[SMT-COMP] Use tear-down-incremental for arithmetic (#4518)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
2020-02-04Fix QF_NIA smt comp script (#3715)Andrew Reynolds
2019-10-02[SMT-COMP] Remove --unconstrained-simp for incremental QF_LIA (#3333)Andres Noetzli
2019-09-18Add run script for next SMT-COMP (#3298)Andres Noetzli
2019-08-08Add subdirectories to contrib for competition scripts (#3164)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback