coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/float64.mli

January 2025

coqbot-app[bot]
Merge PR #20026: Rename Coq -> Rocq in various comments and doc
committed
Pierre Roux
Rename Coq -> Rocq in various comments and doc
committed

October 2024

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 2024

coqbot-app[bot]
Merge PR #18669: Fix misplaced attributes.
committed
Rodolphe Lepigre
Fix misplaced attributes.
committed

September 2022

coqbot-app[bot]
Merge PR #16528: Fix some odoc warnings
committed
Gaëtan Gilbert
Fix some odoc warnings
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

May 2020

Pierre-Marie Pédrot
Merge PR #11986: [primitive floats] Add low level printing
committed
Pierre Roux
[primitive floats] Add low level hexadecimal printing
committed

March 2020

Hugo Herbelin
Merge PR #11559: Remove year in headers.
committed
Théo Zimmermann
Update headers in the whole code base.
committed

November 2019

Maxime Dénès
Merge PR #9867: Add primitive floats (binary64 floating-point numbers)
committed
Erik Martin-Dorel
Add "==", "<", "<=" in PrimFloat.v
committed
Pierre Roux
Make primitive float work on x86_32
committed
Erik Martin-Dorel
Pretty-printing primitive float constants
committed
Pierre Roux
Add primitive floats to checker
committed
Pierre Roux
Add primitive floats to 'native_compute'
committed
Pierre Roux
Add next_{up,down} primitive float functions
committed
Pierre Roux
Implement classify on primitive float
committed
Pierre Roux
Change return type of primitive float comparison
committed
Guillaume Bertholon
Add primitive floats to 'vm_compute'
committed
Guillaume Bertholon
Add primitive float computation in Coq kernel
committed