aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cList.ml
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
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Tweaking arity & allocation of some basic functions.Gravatar Pierre-Marie Pédrot2013-11-24
* 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
* Optimizing evar filters. It seems to cost quite a lot in unification,Gravatar ppedrot2013-10-22
* 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
* invalid_arg instead of raise (Invalid_argement ...)Gravatar letouzey2013-03-12
* Monomorphization (lib)Gravatar ppedrot2012-11-22
* Cleaning and small optimization in CList.Gravatar ppedrot2012-11-20
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* 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
* Added some tricky tail-rec versions of List functions to CListGravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14