coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	Split the return type away from the signature of primitive operations.	Guillaume Melquiond
2021-02-26	Signed primitive integers	Ana
2020-10-08	Remove occurrences of Parray.reroot.	Guillaume Melquiond
2020-07-06	Primitive persistent arrays	Maxime Dénès
2020-04-22	Remove # keywords in Primitive	Pierre Roux
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-01	Add "==", "<", "<=" in PrimFloat.v	Erik Martin-Dorel
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 primitive float computation in Coq kernel	Guillaume Bertholon
2019-11-01	Declare type of primitives in CPrimitives	Pierre Roux
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-03-11	Nicer error for bad primitive types (through type_errors etc)	Gaëtan Gilbert
2019-02-04	Primitive integers	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-08-12	Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml.	Hugo Herbelin