Age | Commit message (Expand) | Author |
---|---|---|
2019-05-21 | Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007) | Martin |
2019-05-18 | FP: Fix regression test and enable SymFPU on Travis. (#3013) | Aina Niemetz |
2019-05-17 | Add the problematic input from issue 2183 as a regression test (#3008) | Martin |
2019-04-04 | Ignoring FP benchmarks with "unsafe" sizes unless option (#2931) | Haniel Barbosa |
2019-04-01 | FP: 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-27 | Refactor extended rewriter, move rewrites to aggressive (#2387) | Andrew Reynolds |
2018-08-16 | Refactor extended rewriter preprocessing pass (#2324) | Haniel Barbosa |
2018-06-04 | Regressions: Support for requiring CVC4 features (#2044) | Andres Noetzli |