projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add bag inferences for operators: intersection, duplicate_removal, and empty bags...
[cvc5.git] / contrib / competitions /
2020-08-21 Andrew ReynoldsRemove BV equality slicer (#4928) tree | commitdiff
2020-07-10 Andrew ReynoldsUpdate competition scripts (#4715) tree | commitdiff
2020-06-19 Andrew ReynoldsAdd casc j10 scripts (#4621) 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-09-16 Haniel BarbosaAdding new scripts for CASC/TPTP (#3291) tree | commitdiff
2019-08-08 Andrew ReynoldsAdd subdirectories to contrib for competition scripts... tree | commitdiff