Richard W.M. Jones
495f71affc
daemon, generator: Use power of 2 for initial size of Hashtbl.create
...
Before 2011 it was recommended to use a prime number for the initial
size. In 2011 the OCaml hash table was reimplemented using a hash
function based on Murmur 3. Hashtbl.create now adjusts the initial
size to the next power of 2 (minimum 16). So replace obsolete
'Hashtbl.create 13' with 'Hashtbl.create 16'.
2025-09-12 08:37:58 +01:00
..
2022-03-09 09:28:02 +00:00
2019-05-30 09:12:32 +02:00
2017-07-27 17:31:41 +01:00
2022-08-16 10:39:01 +01:00
2014-04-16 12:01:17 +01:00
2017-07-27 22:31:22 +01:00
2025-02-16 17:00:46 +00:00
2017-07-27 17:31:41 +01:00
2025-05-19 13:42:44 +01:00
2025-05-11 12:37:23 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2017-07-10 17:01:59 +01:00
2025-02-16 17:00:46 +00:00
2017-07-27 17:31:41 +01:00
2022-06-17 13:24:19 +01:00
2016-01-22 09:12:17 +00:00
2022-08-16 10:39:01 +01:00
2016-07-26 10:43:45 +01:00
2022-08-16 10:39:01 +01:00
2025-02-16 17:00:46 +00:00
2025-05-11 21:29:23 +01:00
2018-02-06 17:27:23 +01:00
2018-02-06 17:27:23 +01:00
2025-02-16 17:00:46 +00:00
2025-08-13 16:08:28 +01:00
2025-08-13 16:08:28 +01:00
2018-01-09 12:17:53 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2017-08-08 17:50:23 +01:00
2014-11-26 16:15:47 +00:00
2025-02-16 17:00:46 +00:00
2025-04-29 19:05:07 +01:00
2025-02-16 17:00:46 +00:00
2025-05-11 21:29:23 +01:00
2017-07-27 17:31:41 +01:00
2017-07-27 17:31:41 +01:00
2017-07-27 17:31:41 +01:00
2025-02-16 17:00:46 +00:00
2017-07-10 17:01:59 +01:00
2025-05-20 14:40:58 +01:00
2018-04-19 11:30:29 +02:00
2016-07-26 10:43:45 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-04-29 19:05:07 +01:00
2025-02-16 17:00:46 +00:00
2025-05-11 12:37:23 +01:00
2016-07-26 10:43:45 +01:00
2025-02-16 17:00:46 +00:00
2025-05-11 21:29:23 +01:00
2015-10-27 17:25:49 +00:00
2017-07-27 17:31:41 +01:00
2025-04-28 10:07:34 +01:00
2025-02-16 17:00:46 +00:00
2016-02-04 11:25:56 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2017-09-16 22:27:16 +01:00
2022-08-16 10:39:01 +01:00
2025-02-16 17:00:46 +00:00
2025-08-12 17:55:06 +01:00
2025-02-16 17:00:46 +00:00
2025-05-11 21:29:23 +01:00
2025-02-16 17:00:46 +00:00
2025-09-01 13:59:56 +01:00
2025-02-16 17:00:46 +00:00
2025-03-03 14:22:37 +00:00
2025-02-16 17:00:46 +00:00
2025-03-03 14:22:37 +00:00
2025-03-03 14:22:37 +00:00
2025-05-11 12:37:23 +01:00
2025-02-16 17:00:46 +00:00
2025-05-27 17:01:09 +01:00
2016-04-12 20:59:40 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2014-10-23 19:03:11 +02:00
2017-07-27 17:31:41 +01:00
2024-10-22 11:02:38 +01:00
2025-05-11 21:29:23 +01:00
2021-05-13 12:04:41 +01:00
2025-02-16 17:00:46 +00:00
2025-05-27 17:01:09 +01:00
2017-07-27 17:31:41 +01:00
2021-09-07 14:53:06 +01:00
2025-02-16 17:00:46 +00:00
2025-04-16 21:12:49 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-04-16 21:12:49 +01:00
2025-02-16 17:00:46 +00:00
2025-08-13 16:08:28 +01:00
2021-11-09 10:20:37 +00:00
2025-05-11 21:29:23 +01:00
2025-02-16 17:00:46 +00:00
2017-03-03 11:32:37 +00:00
2014-10-23 19:03:11 +02:00
2017-07-27 17:31:41 +01:00
2025-05-11 21:29:23 +01:00
2025-02-16 17:00:46 +00:00
2017-08-08 17:50:23 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-09-09 16:29:13 +01:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2025-02-16 17:00:46 +00:00
2022-05-03 10:54:00 +02:00
2025-02-16 17:00:46 +00:00
2022-05-26 10:16:21 +01:00
2025-02-16 17:00:46 +00:00
2017-07-27 17:31:41 +01:00
2017-07-27 17:31:41 +01:00
2025-08-13 16:08:28 +01:00
2025-09-12 08:37:58 +01:00
2017-07-27 17:31:41 +01:00
2025-05-11 21:29:23 +01:00
2025-02-19 12:01:10 +00:00
2017-07-27 17:31:41 +01:00
2017-07-27 17:31:41 +01:00
2017-07-10 17:01:59 +01:00
2025-02-16 17:00:46 +00:00
2014-11-05 14:50:54 +00:00
2025-02-16 17:00:46 +00:00
2017-07-27 17:31:41 +01:00
2025-02-16 17:00:46 +00:00
2017-07-27 17:31:41 +01:00
2025-08-13 16:08:28 +01:00
2025-08-13 16:08:28 +01:00
2025-08-13 16:08:28 +01:00
2025-02-16 17:00:46 +00:00
2018-05-15 11:15:54 +01:00
2015-07-02 16:08:44 +01:00
2025-02-16 17:00:46 +00:00
2024-05-10 16:07:20 +01:00
2025-02-16 17:00:46 +00:00
2025-08-14 15:45:59 +01:00
2025-08-14 15:45:59 +01:00
2014-10-23 19:03:11 +02:00
2015-10-05 14:28:33 +01:00
2025-02-16 17:00:46 +00:00
2021-03-30 12:56:58 +01:00
2024-10-18 21:55:21 +01:00
2025-02-16 17:00:46 +00:00
2017-07-27 17:31:41 +01:00