git.libre-soc.org Git - cvc5.git/history - test/regress/regress1/ho

2020-12-15	Andrew Reynolds	Remove bv divide by zero option (#5672)	tree \| commitdiff
2020-12-07	Andrew Reynolds	Do not expand theory definitions at the beginning of...	tree \| commitdiff
2020-11-23	Andrew Reynolds	Change UF ho to ppRewrite instead of expand definition...	tree \| commitdiff
2020-08-19	Andres Noetzli	[Regressions] Do not test `--check-proofs` anymore...	tree \| commitdiff
2020-05-20	Andrew Reynolds	Do not eliminate variables that are equal to unevaluata...	tree \| commitdiff
2020-03-22	Andrew Reynolds	Sort inference does not handle APPLY_UF when higher...	tree \| commitdiff
2020-03-20	Andrew Reynolds	Do not assign higher-order representative if function...	tree \| commitdiff
2019-09-16	Andrew Reynolds	Fix spurious meta-info in regression (#3294)	tree \| commitdiff
2019-09-16	Andrew Reynolds	Fix HO model construction for functions having Boolean...	tree \| commitdiff
2019-09-06	Mathias Preiner	Remove SMT1 parser. (#3228)	tree \| commitdiff
2019-07-31	Haniel Barbosa	Parsing THF and adding several regressions (#3131)	tree \| commitdiff
2018-04-10	Andrew Reynolds	Fix hasSubterm calls for higher-order (#1760)	tree \| commitdiff
2018-04-10	Andrew Reynolds	Fix higher-order term indexing. (#1754)	tree \| commitdiff
2018-03-21	Andres Noetzli	Move regression tests to single Makefile.am (#1658)	tree \| commitdiff
2018-02-15	Andrew Reynolds	Refactor regressions (#1581)	tree \| commitdiff