projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ensure quantifiers options are set with --no-strings-lazy-pp (#3515)
[cvc5.git] / test / regress / regress0 / expect /
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-09-04 Mathias PreinerRemove duplicate regression tests. (#3227) tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... tree | commitdiff
2018-05-25 Andrew ReynoldsReenable repair const (#1983) tree | commitdiff
2018-05-23 Andrew ReynoldsRepair constants using symbolic constructors (#1960) tree | commitdiff
2018-04-06 Andres Noetzli Python regression script (#1662) tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2017-11-03 Andrew ReynoldsSygus clean main (#1297) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-14 Aina NiemetzMerge pull request #214 from CVC4/fix_warn_nonlinear tree | commitdiff
2017-08-14 Mark LawsBuild and test suite fixes for Windows (#186) tree | commitdiff
2017-07-05 ajreynolFix for logic info, update regressions. Update casc... tree | commitdiff
2017-07-05 ajreynolNon-linear supported in ALL logics. Minor fixes for... tree | commitdiff
2017-04-04 Clark BarrettMerge pull request #141 from 4tXJ7f/remove_def tree | commitdiff
2017-04-03 Andrew ReynoldsMerge pull request #142 from timothy-king/nlAlgMerge tree | commitdiff
2017-04-03 Tim KingAdding a model based axiom instantiation scheme for... tree | commitdiff
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf tree | commitdiff
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... tree | commitdiff
2017-01-11 Tim KingAdding regression test scrubbing. tree | commitdiff