| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback