| Commit message (Expand) | Author | Age | Files | Lines |
* | Multicore cleanup: remove traces of Obj.truncate (#11967) | Nick Barnes | 2023-01-27 | 1 | -32/+5 |
* | Add `find_mapi` and `find_index` to `List`, `Seq`, `Array` and `Float.Array`.... | Sima Kinsart | 2023-01-13 | 1 | -0/+16 |
* | TRMC implementation of List.concat_map (#11856) | Jeremy Yallop | 2023-01-03 | 1 | -7/+7 |
* | stdlib: add `List.is_empty` (#10464) | Craig Ferguson | 2022-10-31 | 1 | -0/+4 |
* | List: replace rev-based tail recursion with TRMC (#11402) | Nicolás Ojeda Bär | 2022-07-21 | 1 | -48/+31 |
* | Make List.{map,mapi,map2} TRMC (#11362) | Nicolás Ojeda Bär | 2022-07-05 | 1 | -7/+25 |
* | Remove uses of ;; from the codebase | Sébastien Hinderer | 2022-02-25 | 1 | -2/+0 |
* | List.equal, List.compare (#9668) | Gabriel Scherer | 2020-09-09 | 1 | -0/+23 |
* | List.partition_map : (a -> (b, c) Either.t) -> a list -> b list * c list | Gabriel Scherer | 2020-09-02 | 1 | -0/+11 |
* | Fold map function for List (#8894) | Bernhard Schommer | 2019-11-07 | 1 | -0/+8 |
* | add List.filteri to the stdlib (#9059) | zapashcanon | 2019-10-29 | 1 | -0/+7 |
* | List.concat_map : ('a -> 'b list) -> 'a list -> 'b list (#8760) | Gabriel Scherer | 2019-10-01 | 1 | -0/+8 |
* | List.find_map : ('a -> 'b option) -> 'a list -> 'b option (#8832) | Gabriel Scherer | 2019-09-13 | 1 | -0/+8 |
* | List.sort: avoid duplicate work by chop | Guillaume Munch-Maccagnoni | 2019-07-25 | 1 | -112/+115 |
* | List.filter_map (#2185) | Thomas Refis | 2018-12-12 | 1 | -0/+10 |
* | Stdlib doc: harmonize heading levels again. (#2142) | Daniel Bünzli | 2018-11-08 | 1 | -1/+1 |
* | Add paths for built-in types (#1876) | yallop | 2018-11-08 | 1 | -0/+3 |
* | Fix over-long lines with minor re-wordings | David Allsopp | 2018-06-13 | 1 | -1/+2 |
* | fix bug in GPR#1697 (List.init) caught after merge | Gabriel Scherer | 2018-04-05 | 1 | -1/+1 |
* | Tune List.init threshold | Hugo Heuzard | 2018-04-05 | 1 | -1/+7 |
* | Stdlib functional iterators (#1002) | Simon Cruanes | 2018-03-16 | 1 | -0/+21 |
* | Fix bug #7513 (#1136) | Fabrice Le Fessant | 2017-05-10 | 1 | -5/+7 |
* | Implemented `List.init` | Richard Degenne | 2017-02-28 | 1 | -0/+15 |
* | Option-returning variants of stdlib functions (#885) | Alain Frisch | 2016-11-07 | 1 | -0/+20 |
* | Add functions `List.compare_lengths` and `List.compare_length_with` (#760) | Fabrice Le Fessant | 2016-09-18 | 1 | -0/+16 |
* | Merge tag 4.03.0 into trunk. | Damien Doligez | 2016-04-28 | 1 | -10/+9 |
* | Also enable more warnings in stdlib/ and fix them. | Alain Frisch | 2016-03-15 | 1 | -8/+8 |
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -12/+14 |
* | List.cons, finally | Gabriel Scherer | 2015-04-26 | 1 | -0/+2 |
* | #4986. Add two common operations: List.sort_uniq (more efficient that sorting... | Alain Frisch | 2013-07-09 | 1 | -0/+103 |
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -1/+1 |
* | Adding List.iteri/mapi. | Alain Frisch | 2010-11-05 | 1 | -0/+12 |
* | PR#4055 List.nth when argument is negative | Damien Doligez | 2006-09-11 | 1 | -7/+7 |
* | nettoyage | Damien Doligez | 2005-10-25 | 1 | -1/+2 |
* | depollution suite (PR#1914 et PR#1956) | Damien Doligez | 2004-01-01 | 1 | -1/+1 |
* | Utiliser compare x y = 0 au lieu de x = y lorsqu'on compare des cles qui peuv... | Xavier Leroy | 2003-11-21 | 1 | -4/+4 |
* | changement List.sort; ajout fast_sort et List.merge | Damien Doligez | 2002-06-05 | 1 | -2/+96 |
* | MAJ en-tetes pour mentionner la 'special exception' sur la LGPL | Xavier Leroy | 2001-12-07 | 1 | -1/+2 |
* | petite amelioration de List.sort | Damien Doligez | 2000-07-10 | 1 | -1/+1 |
* | PR#139 | Damien Doligez | 2000-06-14 | 1 | -1/+1 |
* | nouveaux tris | Damien Doligez | 2000-04-14 | 1 | -0/+27 |
* | bug rev_map2 (PR#32) | Damien Doligez | 2000-01-25 | 1 | -1/+1 |
* | Changement de la licence | Xavier Leroy | 1999-11-17 | 1 | -1/+2 |
* | Documentation des fonctions non-tail-rec | Damien Doligez | 1999-09-19 | 1 | -0/+18 |
* | Ajout de Pervasives.ignore. List.remove -> List.remove_ass* | Xavier Leroy | 1999-02-24 | 1 | -4/+6 |
* | Ajout des fonctions find, partition, find_all | Pierre Weis | 1999-01-04 | 1 | -0/+16 |
* | Ajout des fonction remove et removeq, déjà écrite dans le système pour | Pierre Weis | 1998-11-05 | 1 | -5/+17 |
* | Ajout de List.rev_append. Nettoyages | Xavier Leroy | 1998-04-27 | 1 | -11/+14 |
* | Retour au code d'origine pour List.iter. Je veux un seul test par | Xavier Leroy | 1997-11-06 | 1 | -2/+1 |