coq - The formal proof system

Age	Commit message (Expand)	Author
2017-09-11	Merge PR #987: In Array.smartmap, read and write from same array	Maxime Dénès
2017-08-31	Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name	Maxime Dénès
2017-08-29	Canonically renaming fold_map into fold_left_map in library Array.	Hugo Herbelin
2017-08-22	also in Fun1.smartmap, read, write from same array	Paul Steckler
2017-08-22	Prevent overallocation in Array.map_to_list and remove custom implementation ...	Guillaume Melquiond
2017-08-21	read, write from same array	Paul Steckler
2015-02-24	New function [Constr.equal_with] to compare terms up to variants of [kind_of_...	Arnaud Spiwack
2014-10-05	A few improvements on pattern-matching compilation.	Hugo Herbelin
2014-03-20	Slightly more efficient Array.smartmap & related.	Pierre-Marie Pédrot
2014-03-02	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey
2014-02-10	Tentative fixup for the previous commit. It seems I have broken something	Pierre-Marie Pédrot
2014-02-09	Small optimizations in Closure:	Pierre-Marie Pédrot
2013-11-04	Adding closure-preventing functions in CArray. These functions are all	ppedrot
2013-10-23	Small optimizations in unification.	ppedrot
2013-10-22	More efficient operations in CArray.	ppedrot
2013-09-19	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc
2013-03-23	Minor code cleaning in CArray / CList.	ppedrot
2013-03-05	Missing primitive in CArray	ppedrot
2012-12-19	Array.create is deprecated	pboutill
2012-11-13	More monomorphizations	ppedrot
2012-11-08	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot
2012-09-18	More cleaning in CArray...	ppedrot
2012-09-14	As r15801: putting everything from Util.array_* to CArray.*.	ppedrot