| 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 |
 |
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