summaryrefslogtreecommitdiff
path: root/test/regress/regress0/fp
AgeCommit message (Expand)Author
2020-06-17Do not traverse WITNESS for partial substitutions in extended rewriter (#4630)Andrew Reynolds
2020-05-26Fix an incorrect limit in conversion from real to float (#4418)Martin
2020-04-14Always assign function values in higher order (#4279)Andrew Reynolds
2019-12-18Avoid calling rewriter from type checker (#3548)Andres Noetzli
2019-05-21Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)Martin
2019-05-18FP: Fix regression test and enable SymFPU on Travis. (#3013)Aina Niemetz
2019-05-17Add the problematic input from issue 2183 as a regression test (#3008)Martin
2019-04-04Ignoring FP benchmarks with "unsafe" sizes unless option (#2931)Haniel Barbosa
2019-04-01FP: Fix wrong model due to partial assignment (#2910)Andres Noetzli
2019-01-15 Fix unsound double abs rewrite rule for FP (#2792)Andrew Reynolds
2018-08-27Refactor extended rewriter, move rewrites to aggressive (#2387)Andrew Reynolds
2018-08-16Refactor extended rewriter preprocessing pass (#2324)Haniel Barbosa
2018-06-04Regressions: Support for requiring CVC4 features (#2044)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback