| Commit message (Expand) | Author | Age |
* | Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name | Maxime Dénès | 2017-08-31 |
|\ |
|
| * | Adding combinators + a canonical renaming in cList.ml. | Hugo Herbelin | 2017-08-29 |
* | | Prevent overallocation in Array.map_to_list and remove custom implementation ... | Guillaume Melquiond | 2017-08-22 |
|/ |
|
* | Make List.map_filter(_i) tail-recursive. | Guillaume Melquiond | 2016-08-09 |
* | add CList.extract_first | Gabriel Scherer | 2016-06-27 |
* | Add a [CList.partitioni] function. | Cyprien Mangin | 2016-06-14 |
* | Stronger invariants on the use of the introduction pattern (pat1,...,patn). | Hugo Herbelin | 2016-01-21 |
* | Do not make it harder on the compiler optimizer by packing arguments. | Guillaume Melquiond | 2016-01-01 |
* | Do not compose List.length with List.filter. | Guillaume Melquiond | 2015-12-31 |
* | Proofview: move [list_goto] to the [CList] module. | Arnaud Spiwack | 2014-10-22 |
* | Splitting out of auto.ml a file hints.ml dedicated to hints so as to | Hugo Herbelin | 2014-10-07 |
* | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau | 2014-05-06 |
* | Remove some dead-code (thanks to ocaml warnings) | Pierre Letouzey | 2014-03-05 |
* | Set officially the minimal OCaml requirement to 3.12.1 | Pierre Letouzey | 2014-03-02 |
* | Tweaking arity & allocation of some basic functions. | Pierre-Marie Pédrot | 2013-11-24 |
* | More monomorphic List.mem + List.assoc + ... | letouzey | 2013-10-24 |
* | Fix the semantic of the new List.remove_assoc_f | letouzey | 2013-10-24 |
* | Turn many List.assoc into List.assoc_f | letouzey | 2013-10-24 |
* | cList: a few alternative to hashtbl-based uniquize, distinct, subset | letouzey | 2013-10-23 |
* | CList.factorize_left with a parametric equality | letouzey | 2013-10-23 |
* | CList.prefix_of and CList.drop_prefix with a parametric equality | letouzey | 2013-10-23 |
* | cList.index is now cList.index_f, same for index0 | letouzey | 2013-10-23 |
* | cList: set-as-list functions are now with an explicit comparison | letouzey | 2013-10-23 |
* | Optimizing evar filters. It seems to cost quite a lot in unification, | ppedrot | 2013-10-22 |
* | Clib: fold_left_until added to CList | gareuselesinge | 2013-10-10 |
* | Removing some lone List.assoc & List.mem in lib. | ppedrot | 2013-08-28 |
* | Minor code cleaning in CArray / CList. | ppedrot | 2013-03-23 |
* | invalid_arg instead of raise (Invalid_argement ...) | letouzey | 2013-03-12 |
* | Monomorphization (lib) | ppedrot | 2012-11-22 |
* | Cleaning and small optimization in CList. | ppedrot | 2012-11-20 |
* | Monomorphized a lot of equalities over OCaml integers, thanks to | ppedrot | 2012-11-08 |
* | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey | 2012-10-02 |
* | More cleaning in CArray... | ppedrot | 2012-09-18 |
* | Cleaning interface of Util. | ppedrot | 2012-09-18 |
* | More cleaning on Utils and CList. Some parts of the code being | ppedrot | 2012-09-17 |
* | Some documentation and cleaning of CList and Util interfaces. | ppedrot | 2012-09-15 |
* | Added some tricky tail-rec versions of List functions to CList | ppedrot | 2012-09-14 |
* | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot | 2012-09-14 |