| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-13 | Hardcode next_up and next_down instead of relying on nextafter. | Guillaume Melquiond |
| 2020-11-13 | Remove floating-point comparison operators as they are no longer needed. | Guillaume Melquiond |
| 2020-11-13 | Turn coq_float64.h into a .c file as it is no longer needed by coq_interp.c. | Guillaume Melquiond |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |