coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	Be more thorough when testing PArray.set.	Guillaume Melquiond
2021-02-26	Signed primitive integers	Ana
2020-12-02	Merge PR #13275: Put all Int63 primitives in a separate file	Vincent Laporte
2020-12-02	Put all Int63 primitives in a separate file	Pierre Roux
2020-11-18	Add more explicit tests for next_up and next_down.	Pierre Roux
2020-10-08	Remove occurrences of Parray.reroot.	Guillaume Melquiond
2020-08-13	Merge PR #12556: Bring Float notations in line with stdlib	Hugo Herbelin
2020-08-09	Bring Int63 notations into line with stdlib	Jason Gross
2020-08-09	Bring Float notations in line with stdlib	Jason Gross
2020-07-06	Primitive persistent arrays	Maxime Dénès
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	Parsing primitive float constants	Pierre Roux
2019-11-01	Add tests for primitive floats with '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	Add tests for primitive floats with 'vm_compute'	Guillaume Bertholon
2019-11-01	Add tests for primitive floats	Guillaume Bertholon