Zalathar
de4cfbca2e
coverage: Encode function mappings without re-sorting them
...
The main change here is that `VirtualFileMapping` now uses an internal hashmap
to de-duplicate incoming global file IDs. That removes the need for
`encode_mappings_for_function` to re-sort its mappings by filename in order to
de-duplicate them.
(We still de-duplicate runs of identical filenames to save work, but this is
not load-bearing for correctness, so a sort is not necessary.)
2023-10-22 20:37:39 +11:00
..
2023-09-25 14:38:27 +00:00
2023-10-20 21:14:01 +00:00
2023-10-08 20:17:53 -07:00
2023-10-19 16:42:58 +00:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00
2023-10-17 04:41:20 +00:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-21 10:08:18 +02:00
2023-10-20 21:14:01 +00:00
2023-10-21 19:54:51 +00:00
2023-10-20 21:14:01 +00:00
2023-10-22 20:37:39 +11:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00
2023-10-19 20:18:51 -03:00
2023-10-16 15:38:08 -07:00
2023-10-18 07:45:56 +00:00
2023-10-20 21:14:02 +00:00
2023-10-16 15:38:08 -07:00
2023-10-20 10:52:24 +00:00
2023-10-21 15:56:01 +00:00
2023-10-20 21:14:02 +00:00
2023-10-18 21:55:15 +00:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:14:01 +00:00
2023-10-21 10:08:18 +02:00
2023-10-11 10:46:55 +11:00
2023-10-21 13:58:33 +02:00
2023-10-13 00:09:30 +00:00
2023-10-06 15:46:11 +00:00
2023-10-21 13:58:33 +02:00
2023-10-20 21:14:01 +00:00
2023-10-18 21:55:15 +00:00
2023-10-20 21:14:01 +00:00
2023-10-21 11:04:19 +00:00
2023-10-08 20:17:53 -07:00
2023-10-10 09:39:47 +08:00
2023-10-18 21:55:15 +00:00
2023-10-20 21:14:01 +00:00
2023-10-21 16:47:30 +00:00
2023-10-21 11:04:19 +00:00
2023-10-20 21:14:01 +00:00
2023-10-21 10:08:17 +02:00
2023-10-21 12:20:05 +11:00
2023-10-20 21:14:01 +00:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:14:01 +00:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:10:38 +00:00
2023-10-08 20:17:53 -07:00
2023-10-13 08:59:36 +00:00
2023-10-21 10:08:16 +02:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:14:01 +00:00
2023-10-21 10:08:17 +02:00
2023-10-21 21:22:59 +02:00
2023-10-20 21:14:01 +00:00
2023-10-21 23:42:09 +08:00
2023-10-21 13:18:00 +02:00
2023-09-13 17:35:44 +00:00
2023-10-18 21:55:15 +00:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00
2023-10-21 10:08:17 +02:00