coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-01-30	Fix 11483	Pierre Roux
2019-11-01	Add a check for gradual underflows	Pierre Roux
2019-11-01	feat: Use SSE2_MATH if available & Die if missing on x87	Erik Martin-Dorel
2019-11-01	Fix ldshiftexp	Pierre Roux
2019-11-01	Add "==", "<", "<=" in PrimFloat.v	Erik Martin-Dorel
2019-11-01	Make primitive float work on x86_32	Pierre Roux
2019-11-01	Pretty-printing primitive float constants	Erik Martin-Dorel
2019-11-01	Add primitive floats to checker	Pierre Roux
2019-11-01	Add primitive floats to 'native_compute'	Pierre Roux
2019-11-01	Add next_{up,down} primitive float functions	Pierre Roux
2019-11-01	Implement classify on primitive float	Pierre Roux
2019-11-01	Change return type of primitive float comparison	Pierre Roux
2019-11-01	Put axioms on ldshiftexp and frshiftexp	Guillaume Bertholon
2019-11-01	Add primitive floats to 'vm_compute'	Guillaume Bertholon
2019-11-01	Add primitive float computation in Coq kernel	Guillaume Bertholon