| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-12-02 | Put all Int63 primitives in a separate file | Pierre Roux | |
| Following a request from Pierre-Marie Pédrot in #13258 | |||
| 2019-11-01 | Add tests for primitive floats | Guillaume Bertholon | |
| Add utility ldexp and frexp functions to prevent dealing with the shift of ldshiftexp and frshiftexp everywhere. Also move primitive integer tests to place all primitive tests in the same directory. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |