Age | Commit message (Expand) | Author |
---|---|---|
2021-05-27 | FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD. (#6628) | Aina Niemetz |
2021-05-26 | More precise includes of `Node` constants (#6617) | Andres Noetzli |
2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
2018-05-24 | Fix compiler warnings (#1959) | Andres Noetzli |
2018-05-15 | Floating point theory solver based on SymFPU (#1895) | Martin |
2017-10-09 | Add skeleton of the FP theory solver (#1130) | Martin |
2017-10-02 | Add 5 FP kinds for partial to total fn conversion (#1128) | Martin |
2017-09-19 | Add FP type enumerator and cardinality computer (#1104) | Martin |
2017-09-14 | Make floating-point comparison operators chainable (#1101) | Martin |
2014-12-03 | Floating point infrastructure. | Martin Brain |