git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/fp

2019-12-18	Andres Noetzli	Avoid calling rewriter from type checker (#3548)	tree \| commitdiff
2019-05-21	Martin	Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)	tree \| commitdiff
2019-05-18	Aina Niemetz	FP: Fix regression test and enable SymFPU on Travis...	tree \| commitdiff
2019-05-17	Martin	Add the problematic input from issue 2183 as a regressi...	tree \| commitdiff
2019-04-04	Haniel Barbosa	Ignoring FP benchmarks with "unsafe" sizes unless optio...	tree \| commitdiff
2019-04-01	Andres Noetzli	FP: Fix wrong model due to partial assignment (#2910)	tree \| commitdiff
2019-01-15	Andrew Reynolds	Fix unsound double abs rewrite rule for FP (#2792)	tree \| commitdiff
2018-08-28	Andrew Reynolds	Refactor extended rewriter, move rewrites to aggressive...	tree \| commitdiff
2018-08-16	Haniel Barbosa	Refactor extended rewriter preprocessing pass (#2324)	tree \| commitdiff
2018-06-04	Andres Noetzli	Regressions: Support for requiring CVC4 features (...	tree \| commitdiff