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