aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cList.mli
Commit message (Expand)AuthorAge
* Proofview: move [list_goto] to the [CList] module.Gravatar Arnaud Spiwack2014-10-22
* Splitting out of auto.ml a file hints.ml dedicated to hints so as toGravatar Hugo Herbelin2014-10-07
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* More monomorphic List.mem + List.assoc + ...Gravatar letouzey2013-10-24
* Fix the semantic of the new List.remove_assoc_fGravatar letouzey2013-10-24
* Turn many List.assoc into List.assoc_fGravatar letouzey2013-10-24
* cList: a few alternative to hashtbl-based uniquize, distinct, subsetGravatar letouzey2013-10-23
* CList.factorize_left with a parametric equalityGravatar letouzey2013-10-23
* CList.prefix_of and CList.drop_prefix with a parametric equalityGravatar letouzey2013-10-23
* cList.index is now cList.index_f, same for index0Gravatar letouzey2013-10-23
* cList: set-as-list functions are now with an explicit comparisonGravatar letouzey2013-10-23
* Clib: fold_left_until added to CListGravatar gareuselesinge2013-10-10
* Removing some lone List.assoc & List.mem in lib.Gravatar ppedrot2013-08-28
* Minor code cleaning in CArray / CList.Gravatar ppedrot2013-03-23
* Monomorphization (lib)Gravatar ppedrot2012-11-22
* Cleaning and small optimization in CList.Gravatar ppedrot2012-11-20
* More cleaning in CArray...Gravatar ppedrot2012-09-18
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* More cleaning on Utils and CList. Some parts of the code beingGravatar ppedrot2012-09-17
* Some documentation and cleaning of CList and Util interfaces.Gravatar ppedrot2012-09-15
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14