projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Enable and fix dump test (#7387)
[cvc5.git] / test / regress / run_regression.py
2021-09-22 Mathias PreinerRemove CVC language support (#7219) blob | commitdiff | raw
2021-09-14 Andres NoetzliMake `-o raw-benchmark` work with `--parse-only` (... blob | commitdiff | raw | diff to current
2021-09-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark... blob | commitdiff | raw | diff to current
2021-05-21 Andrew ReynoldsFix tests of unsat cores (#6593) blob | commitdiff | raw | diff to current
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) blob | commitdiff | raw | diff to current
2021-04-09 Andrew ReynoldsAvoid spurious runs in run_regression.py (#6318) blob | commitdiff | raw | diff to current
2021-04-08 Andrew ReynoldsFix run_regression for cvc expected outputs (#6317) blob | commitdiff | raw | diff to current
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-16 Mathias Preinerci: Enable checking of proofs + unsat cores. (#6088) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2020-12-03 Gereon KremerMake run_regression.py executable. (#5588) blob | commitdiff | raw | diff to current
2020-12-03 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-10-28 yoni206run_regression.py to fail on invalid requirements ... blob | commitdiff | raw | diff to current
2020-10-27 Mathias Preinerrun_regression: Add --skip-timeout option, lower timeou... blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-08-19 Andres Noetzli[Regressions] Do not test `--check-proofs` anymore... blob | commitdiff | raw | diff to current
2020-05-20 Andrew ReynoldsUse debug-check-model to enable internal debugging... blob | commitdiff | raw | diff to current
2020-03-06 Andres NoetzliMake output of regression script more readable (#3911) blob | commitdiff | raw | diff to current
2020-02-12 Mathias Preinerrun_regression: Distinguish between timeout and failure... blob | commitdiff | raw | diff to current
2020-02-04 Aina NiemetzIncrease regression test time limit to 1200s. (#3704) blob | commitdiff | raw | diff to current
2019-11-06 Andres Noetzli[Regressions] Remove leading whitespace in output ... blob | commitdiff | raw | diff to current
2019-11-05 Andres Noetzli[Regressions] Support for running w/ default args ... blob | commitdiff | raw | diff to current
2019-10-03 yoni206Disable proofs for unsupported logics (#3327) blob | commitdiff | raw | diff to current
2019-08-13 Andrew ReynoldsImplement check abduct feature (#3152) blob | commitdiff | raw | diff to current
2019-08-04 Mathias PreinerFix regression script for incremental SMT-LIB v2 benchm... blob | commitdiff | raw | diff to current
2019-07-30 Haniel BarbosaRemove hard coded option for TPTP regressions in run_re... blob | commitdiff | raw | diff to current
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590) blob | commitdiff | raw | diff to current
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567) blob | commitdiff | raw | diff to current
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ... blob | commitdiff | raw | diff to current
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... blob | commitdiff | raw | diff to current
2018-08-18 Aina Niemetzrun-regress script: Exit with exit code > 0 on failure... blob | commitdiff | raw | diff to current
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC... blob | commitdiff | raw | diff to current
2018-06-09 Andres NoetzliAdd flag to skip regression if feature enabled (#2062) blob | commitdiff | raw | diff to current
2018-06-04 Andres NoetzliRegressions: Support for requiring CVC4 features (... blob | commitdiff | raw | diff to current
2018-05-11 Andres NoetzliSupport multiple sets of command line args in regs... blob | commitdiff | raw | diff to current
2018-04-20 yoni206Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv... blob | commitdiff | raw | diff to current
2018-04-20 yoni206Allow metadata lines in test files to have leading... blob | commitdiff | raw | diff to current
2018-04-17 Andres NoetzliAdd timeout (option) to regression script (#1786) blob | commitdiff | raw | diff to current
2018-04-14 Andres Noetzli[Reg] Make status/unsat-core detection more robust... blob | commitdiff | raw | diff to current
2018-04-14 Andres NoetzliFix get-unsat-core detection in regression script ... blob | commitdiff | raw | diff to current
2018-04-13 Andres NoetzliFix issue in regression script when proofs enabled... blob | commitdiff | raw | diff to current
2018-04-06 Andres Noetzli Python regression script (#1662) blob | commitdiff | raw | diff to current