Age | Commit message (Expand) | Author |
---|---|---|
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 |