aboutsummaryrefslogtreecommitdiff
path: root/lib/cArray.ml
AgeCommit message (Expand)Author
2014-03-20Slightly more efficient Array.smartmap & related.Pierre-Marie Pédrot
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-02-10Tentative fixup for the previous commit. It seems I have broken somethingPierre-Marie Pédrot
2014-02-09Small optimizations in Closure:Pierre-Marie Pédrot
2013-11-04Adding closure-preventing functions in CArray. These functions are allppedrot
2013-10-23Small optimizations in unification.ppedrot
2013-10-22More efficient operations in CArray.ppedrot
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-03-23Minor code cleaning in CArray / CList.ppedrot
2013-03-05Missing primitive in CArrayppedrot
2012-12-19Array.create is deprecatedpboutill
2012-11-13More monomorphizationsppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-09-18More cleaning in CArray...ppedrot
2012-09-14As r15801: putting everything from Util.array_* to CArray.*.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:41:57 +0000