aboutsummaryrefslogtreecommitdiff
path: root/lib/cList.ml
AgeCommit message (Expand)Author
2016-08-09Make List.map_filter(_i) tail-recursive.Guillaume Melquiond
2016-06-27add CList.extract_firstGabriel Scherer
2016-06-14Add a [CList.partitioni] function.Cyprien Mangin
2016-01-21Stronger invariants on the use of the introduction pattern (pat1,...,patn).Hugo Herbelin
2016-01-01Do not make it harder on the compiler optimizer by packing arguments.Guillaume Melquiond
2015-12-31Do not compose List.length with List.filter.Guillaume Melquiond
2014-10-22Proofview: move [list_goto] to the [CList] module.Arnaud Spiwack
2014-10-07Splitting out of auto.ml a file hints.ml dedicated to hints so as toHugo Herbelin
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-03-05Remove some dead-code (thanks to ocaml warnings)Pierre Letouzey
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2013-11-24Tweaking arity & allocation of some basic functions.Pierre-Marie Pédrot
2013-10-24More monomorphic List.mem + List.assoc + ...letouzey
2013-10-24Fix the semantic of the new List.remove_assoc_fletouzey
2013-10-24Turn many List.assoc into List.assoc_fletouzey
2013-10-23cList: a few alternative to hashtbl-based uniquize, distinct, subsetletouzey
2013-10-23CList.factorize_left with a parametric equalityletouzey
2013-10-23CList.prefix_of and CList.drop_prefix with a parametric equalityletouzey
2013-10-23cList.index is now cList.index_f, same for index0letouzey
2013-10-23cList: set-as-list functions are now with an explicit comparisonletouzey
2013-10-22Optimizing evar filters. It seems to cost quite a lot in unification,ppedrot
2013-10-10Clib: fold_left_until added to CListgareuselesinge
2013-08-28Removing some lone List.assoc & List.mem in lib.ppedrot
2013-03-23Minor code cleaning in CArray / CList.ppedrot
2013-03-12invalid_arg instead of raise (Invalid_argement ...)letouzey
2012-11-22Monomorphization (lib)ppedrot
2012-11-20Cleaning and small optimization in CList.ppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-09-18More cleaning in CArray...ppedrot
2012-09-18Cleaning interface of Util.ppedrot
2012-09-17More cleaning on Utils and CList. Some parts of the code beingppedrot
2012-09-15Some documentation and cleaning of CList and Util interfaces.ppedrot
2012-09-14Added some tricky tail-rec versions of List functions to CListppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:05:24 +0000