coq - The formal proof system

Age	Commit message (Expand)	Author
2021-02-26	Signed primitive integers	Ana
2021-01-10	Remove LSLINT63CONST1 and LSRINT63CONST1 as they are unused.	Guillaume Melquiond
2020-12-02	Make sure the msb is clear.	Guillaume Melquiond
2020-12-02	Greatly simplify the conversion functions between Z.t and Uint63.t.	Guillaume Melquiond
2020-12-01	Make the code clearer and faster by calling mask63 explicitly at the end.	Guillaume Melquiond
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-12-27	Add critical-bugs entry, tests-suite file, and code comment.	Guillaume Melquiond
2019-12-22	Use a more straightforward algorithm for mulc on 32-bit architectures. (Fixes...	Guillaume Melquiond
2019-12-22	Simplify equality of 63-bit integers.	Guillaume Melquiond
2019-12-22	Do not hide constants from the compiler.	Guillaume Melquiond
2019-11-01	Fix ldshiftexp	Pierre Roux
2019-11-01	Make primitive float work on x86_32	Pierre Roux
2019-11-01	Add primitive float computation in Coq kernel	Guillaume Bertholon
2019-08-24	Simplify picking between uint63_63.ml and uint63_31.ml	Gaëtan Gilbert