coq - the Coq proof assistant

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