| Commit message (Expand) | Author | Age | Files | Lines |
* | Manually unbox closure in `Hashtbl.mem` (#11500) | Simmo Saan | 2022-08-22 | 1 | -8/+10 |
* | Make Hashtbl.find_all tail recursive via a tail_mod_cons annotation (#11354) | Fermin Reig | 2022-07-22 | 1 | -2/+2 |
* | make Hashtbl's randomized atomic | Florian Angeletti | 2022-05-03 | 1 | -5/+5 |
* | Rename `Hashtbl.SeededHashedType.{hash => seeded_hash}` (#11157) | Nicolás Ojeda Bär | 2022-04-06 | 1 | -3/+3 |
* | Fix comment about Hashtbl resizing | Simmo Saan | 2022-02-20 | 1 | -1/+1 |
* | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g... | Tom Kelly | 2021-10-01 | 1 | -1/+1 |
|\ |
|
| * | Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392) | Alain Frisch | 2021-05-11 | 1 | -1/+1 |
* | | Merge commit '3ef9ce800fea63c90294fe306e552b4b5fafaa1a' into parallel_minor_g... | Tom Kelly | 2021-09-30 | 1 | -1/+1 |
|\ \
| |/ |
|
| * | Remove unused labels | Leo White | 2021-03-22 | 1 | -1/+1 |
* | | Optimisations. | KC Sivaramakrishnan | 2021-06-15 | 1 | -4/+4 |
* | | Use sensible variable names. Update documentation. | KC Sivaramakrishnan | 2021-06-12 | 1 | -3/+3 |
* | | Use an array instead of a list for domain-local state. | KC Sivaramakrishnan | 2021-06-12 | 1 | -9/+5 |
* | | Fix issues in DLS, Filename and Hashtbl modules | KC Sivaramakrishnan | 2021-06-11 | 1 | -3/+9 |
|/ |
|
* | [hashtbl] Restore ongoing traversal status after filter_map_inplace (#8746) | Mehdi Bouaziz | 2020-10-12 | 1 | -1/+2 |
* | Merge pull request #9781 from yallop/injective-stdlib | Nicolás Ojeda Bär | 2020-07-20 | 1 | -2/+2 |
|\ |
|
| * | Add some injectivity annotations to the standard library. | Jeremy Yallop | 2020-07-18 | 1 | -2/+2 |
* | | Hashtbl: remove support for pre-4.00 hash tables | Xavier Leroy | 2020-07-19 | 1 | -6/+2 |
* | | Add Hashtbl.rebuild function | Xavier Leroy | 2020-07-19 | 1 | -25/+45 |
|/ |
|
* | Refactor stdlib/hashtbl.ml | David Allsopp | 2019-07-19 | 1 | -125/+133 |
* | A new runtime primitive for Array.fill (#8716) | Alain Frisch | 2019-07-16 | 1 | -5/+4 |
* | Fix Hashtbl.Make.of_seq creating randomized tables | David Allsopp | 2019-03-29 | 1 | -0/+4 |
* | Fix Hashtbl.MakeSeeded.{add,replace,of}_seq | David Allsopp | 2019-03-29 | 1 | -3/+11 |
* | Stdlib doc: harmonize heading levels again. (#2142) | Daniel Bünzli | 2018-11-08 | 1 | -1/+1 |
* | Stdlib functional iterators (#1002) | Simon Cruanes | 2018-03-16 | 1 | -0/+50 |
* | Option-returning variants of stdlib functions (#885) | Alain Frisch | 2016-11-07 | 1 | -0/+42 |
* | fix whitespace, long lines, headers | Damien Doligez | 2016-08-01 | 1 | -1/+3 |
* | Adapt filter_map_inplace. | alainfrisch | 2016-03-11 | 1 | -11/+29 |
* | Keep track of whether a traversal is ongoing and in this case, disables the i... | alainfrisch | 2016-03-11 | 1 | -19/+52 |
* | Optimize Hashtbl by using in-place updates of bucket list cells. | alainfrisch | 2016-03-11 | 1 | -83/+123 |
* | Switch to inline records to represent bucket lists in Hashtbl. | alainfrisch | 2016-03-11 | 1 | -32/+32 |
* | Bug fix: Hashtbl.filter_map_inplace did not correctly update the size field. | Alain Frisch | 2016-03-10 | 1 | -1/+1 |
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -12/+14 |
* | [Stdlib] Hashtbl: add a getter for randomize | François Bobot | 2016-01-23 | 1 | -0/+1 |
* | GPR#337: Hashtbl.filter_map_inplace. | alainfrisch | 2016-01-22 | 1 | -0/+17 |
* | Use raise_notrace instead of raise to implement Hashtbl.replace. | alainfrisch | 2015-12-04 | 1 | -2/+2 |
* | Replace uses of "noalloc" by [@@noalloc] | Jérémie Dimino | 2015-10-06 | 1 | -2/+2 |
* | fix a few problems with whitespace and over-long lines | Damien Doligez | 2013-03-09 | 1 | -2/+4 |
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | fix two bugs in commit 12453 | Damien Doligez | 2012-05-24 | 1 | -3/+3 |
* | Fix PR#5555 | Fabrice Le Fessant | 2012-05-15 | 1 | -7/+23 |
* | - Hashtbl: | Xavier Leroy | 2012-04-19 | 1 | -3/+20 |
* | PR#5349: "replace" uses new key instead of reusing old key. | Xavier Leroy | 2011-09-18 | 1 | -2/+2 |
* | Improve backward compatibility for Hashtbl functorial interface: | Xavier Leroy | 2011-09-18 | 1 | -7/+29 |
* | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -1/+1 |
* | Hashtbl again: simplified interface for seeding; seed is now an optional para... | Xavier Leroy | 2011-06-04 | 1 | -9/+5 |
* | Better hashing! | Xavier Leroy | 2011-05-29 | 1 | -56/+115 |
* | nettoyage | Damien Doligez | 2005-10-25 | 1 | -2/+0 |
* | added length function. | Basile Starynkevitch | 2004-03-23 | 1 | -0/+6 |
* | depollution suite (et fin?) (PR#1914 et PR#1956) | Damien Doligez | 2004-01-02 | 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 | -8/+10 |