projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix GLPK linking (#7357)
[cvc5.git] / contrib / competitions / smt-comp /
2021-06-16 Andres NoetzliArchive SMT-COMP 2021 run scripts (#6748) tree | commitdiff
2021-06-14 Andres NoetzliFinal update to SMT-COMP 2021 options (#6739) tree | commitdiff
2021-06-10 Mathias Preinersmtcomp: Change some BV configs for SQ and INC track... tree | commitdiff
2021-06-09 Andres NoetzliUpdate options for SMT-COMP (#6704) tree | commitdiff
2021-05-31 Andres NoetzliRemove invalid options from run scripts (#6645) tree | commitdiff
2021-05-27 Andrew ReynoldsEnable new justification heuristic by default (#6613) tree | commitdiff
2021-05-12 Andrew ReynoldsPreliminary draft of changes for SMT comp 2021 (#6522) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2020-08-21 Andrew ReynoldsRemove BV equality slicer (#4928) tree | commitdiff
2020-07-10 Andrew ReynoldsUpdate competition scripts (#4715) tree | commitdiff
2020-05-24 Andres Noetzli[SMT-COMP] Redirect non-answers to /dev/null (#4528) tree | commitdiff
2020-05-22 Andres Noetzli[SMT-COMP] Use tear-down-incremental for arithmetic... tree | commitdiff
2020-05-06 Andres NoetzliUpdate run scripts for SMT-COMP 2020 (#4454) tree | commitdiff
2020-05-02 Aina NiemetzSMT-COMP 2020: Enable --fp-exp for new FP logics. ... tree | commitdiff
2020-04-29 Aina NiemetzSMT-COMP 2020: Fix scripts to use --no-type-checking... tree | commitdiff
2020-04-28 Andrew ReynoldsUpdates to SMT COMP script for 20 minute timeout (... tree | commitdiff
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... tree | commitdiff
2020-04-22 Andrew ReynoldsAllow eager bitblasting with solve bv as int in QF_NIA... tree | commitdiff
2020-04-21 Andrew ReynoldsMake option names related to CEGQI consistent (#4316) tree | commitdiff
2020-03-24 yoni206Int2BV fail on demand (#4079) tree | commitdiff
2020-03-11 Andrew ReynoldsDo not enable some SMT-COMP specific options by default... tree | commitdiff
2020-02-05 Andrew ReynoldsFix QF_NIA smt comp script (#3715) tree | commitdiff
2019-10-02 Andres Noetzli[SMT-COMP] Remove --unconstrained-simp for incremental... tree | commitdiff
2019-09-18 Andres NoetzliAdd run script for next SMT-COMP (#3298) tree | commitdiff
2019-08-08 Andrew ReynoldsAdd subdirectories to contrib for competition scripts... tree | commitdiff