| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-08-24 | Simplify picking between uint63_63.ml and uint63_31.ml | Gaëtan Gilbert |
| 2019-08-02 | Merge PR #10553: Use a more traditional definition for uint63_div21 (fixes #1... | Maxime Dénès |
| 2019-07-29 | Use the precondition of diveucl_21 to avoid massaging the dividend. | Guillaume Melquiond |
| 2019-07-29 | Transpose the C code of uint63_div21 to the OCaml implementations. | Guillaume Melquiond |
| 2019-07-22 | [Int63] Implement all primitives in OCaml | Vincent Laporte |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2019-05-21 | [build] Select uint63 using `ocamlc -config` variables. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |