coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/float64_common.ml

October 2024

coqbot-app[bot]
Merge PR #19721: Rocqify the VM
committed
Pierre-Marie Pédrot
Rename all C functions and macros from the VM according to the Great Rocqification.
committed
coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

February 2022

coqbot-app[bot]
Merge PR #15719: Add primitive floating-point Leibniz equality test
committed
Pierre Roux
Improve Float64.equal
committed

July 2021

coqbot-app[bot]
Merge PR #14688: Add Float64.to_float
committed
Pierre Roux
Add Float64.to_float
committed

June 2021

coqbot-app[bot]
Merge PR #13895: Rename Int63 ~> Uint63
committed
Ana
Rename Int63 ~> Uint63
committed

October 2020

coqbot-app[bot]
Merge PR #13147: Use OCaml floating-point operations on 64 bits arch
committed
Pierre Roux
Use OCaml floating-point operations on 64 bits arch
committed