aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cArray.ml
Commit message (Expand)AuthorAge
* New function [Constr.equal_with] to compare terms up to variants of [kind_of_...Gravatar Arnaud Spiwack2015-02-24
* A few improvements on pattern-matching compilation.Gravatar Hugo Herbelin2014-10-05
* Slightly more efficient Array.smartmap & related.Gravatar Pierre-Marie Pédrot2014-03-20
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Tentative fixup for the previous commit. It seems I have broken somethingGravatar Pierre-Marie Pédrot2014-02-10
* Small optimizations in Closure:Gravatar Pierre-Marie Pédrot2014-02-09
* Adding closure-preventing functions in CArray. These functions are allGravatar ppedrot2013-11-04
* Small optimizations in unification.Gravatar ppedrot2013-10-23
* More efficient operations in CArray.Gravatar ppedrot2013-10-22
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Minor code cleaning in CArray / CList.Gravatar ppedrot2013-03-23
* Missing primitive in CArrayGravatar ppedrot2013-03-05
* Array.create is deprecatedGravatar pboutill2012-12-19
* More monomorphizationsGravatar ppedrot2012-11-13
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* More cleaning in CArray...Gravatar ppedrot2012-09-18
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14