summaryrefslogtreecommitdiff
path: root/stdlib/hashtbl.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #9781 from yallop/injective-stdlibNicolás Ojeda Bär2020-07-201-2/+2
|\
| * Add some injectivity annotations to the standard library.Jeremy Yallop2020-07-181-2/+2
* | Hashtbl: remove support for pre-4.00 hash tablesXavier Leroy2020-07-191-6/+2
* | Add Hashtbl.rebuild functionXavier Leroy2020-07-191-25/+45
|/
* Refactor stdlib/hashtbl.mlDavid Allsopp2019-07-191-125/+133
* A new runtime primitive for Array.fill (#8716)Alain Frisch2019-07-161-5/+4
* Fix Hashtbl.Make.of_seq creating randomized tablesDavid Allsopp2019-03-291-0/+4
* Fix Hashtbl.MakeSeeded.{add,replace,of}_seqDavid Allsopp2019-03-291-3/+11
* Stdlib doc: harmonize heading levels again. (#2142)Daniel Bünzli2018-11-081-1/+1
* Stdlib functional iterators (#1002)Simon Cruanes2018-03-161-0/+50
* Option-returning variants of stdlib functions (#885)Alain Frisch2016-11-071-0/+42
* fix whitespace, long lines, headersDamien Doligez2016-08-011-1/+3
* Adapt filter_map_inplace.alainfrisch2016-03-111-11/+29
* Keep track of whether a traversal is ongoing and in this case, disables the i...alainfrisch2016-03-111-19/+52
* Optimize Hashtbl by using in-place updates of bucket list cells.alainfrisch2016-03-111-83/+123
* Switch to inline records to represent bucket lists in Hashtbl.alainfrisch2016-03-111-32/+32
* Bug fix: Hashtbl.filter_map_inplace did not correctly update the size field.Alain Frisch2016-03-101-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* [Stdlib] Hashtbl: add a getter for randomizeFrançois Bobot2016-01-231-0/+1
* GPR#337: Hashtbl.filter_map_inplace.alainfrisch2016-01-221-0/+17
* Use raise_notrace instead of raise to implement Hashtbl.replace.alainfrisch2015-12-041-2/+2
* Replace uses of "noalloc" by [@@noalloc]Jérémie Dimino2015-10-061-2/+2
* fix a few problems with whitespace and over-long linesDamien Doligez2013-03-091-2/+4
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* fix two bugs in commit 12453Damien Doligez2012-05-241-3/+3
* Fix PR#5555Fabrice Le Fessant2012-05-151-7/+23
* - Hashtbl:Xavier Leroy2012-04-191-3/+20
* PR#5349: "replace" uses new key instead of reusing old key.Xavier Leroy2011-09-181-2/+2
* Improve backward compatibility for Hashtbl functorial interface:Xavier Leroy2011-09-181-7/+29
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Hashtbl again: simplified interface for seeding; seed is now an optional para...Xavier Leroy2011-06-041-9/+5
* Better hashing!Xavier Leroy2011-05-291-56/+115
* nettoyageDamien Doligez2005-10-251-2/+0
* added length function.Basile Starynkevitch2004-03-231-0/+6
* depollution suite (et fin?) (PR#1914 et PR#1956)Damien Doligez2004-01-021-1/+1
* Utiliser compare x y = 0 au lieu de x = y lorsqu'on compare des cles qui peuv...Xavier Leroy2003-11-211-8/+10
* elargissement de la spec de la fonction de hashDamien Doligez2002-01-231-8/+10
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Bug dans l'interface fonctorielle pour add et resizeXavier Leroy2001-11-191-2/+2
* Revu strategie de redimensionnement des hashtables; ajout Hashtbl.copy.Xavier Leroy2001-10-251-20/+27
* passage aux labels strictsJacques Garrigue2001-09-061-1/+1
* Ajout de Hashtbl.fold (PR#195)Xavier Leroy2001-06-251-1/+16
* Ajout de Hashtbl.replace. Pas d'allocation dans Hashtbl.findXavier Leroy2000-07-281-16/+45
* Meilleur comportement de resize quand on s'approche de max_array_lengthXavier Leroy2000-02-291-13/+15
* unicite de la fonction de hashDamien Doligez1999-11-291-5/+5
* Bug in the function "mem" of the functorial interfaceJérôme Vouillon1999-11-251-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* array.mli: documentation des cas d'erreur de make, make_matrixDamien Doligez1999-10-021-2/+3
* Added Hashtbl.mem to test if a given key is bound into the table.Pierre Weis1999-02-111-1/+19
* Typo dans message d'erreurXavier Leroy1998-04-271-1/+1
View Lorry Controller Status