Jacques Lucke
f7c0f1b8b8
BLI: rename ArrayRef to Span
...
This also renames `MutableArrayRef` to `MutableSpan`.
The name "Span" works better, because `std::span` will provide
similar functionality in C++20. Furthermore, a shorter, more
concise name for a common data structure is nice.
2020-06-09 11:58:47 +02:00
..
2019-04-17 06:21:24 +02:00
2020-04-03 19:27:46 +02:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2019-04-17 06:21:24 +02:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2019-04-17 06:21:24 +02:00
2019-04-17 06:21:24 +02:00
2020-03-19 09:33:58 +01:00
2020-04-07 12:10:36 +10:00
2020-03-19 09:33:58 +01:00
2020-04-05 22:22:21 +10:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-06-09 11:58:47 +02:00
2020-06-05 14:34:00 +10:00
2019-04-22 06:30:08 +10:00
2020-03-19 09:33:58 +01:00
2020-05-14 17:42:54 +02:00
2020-03-19 09:33:58 +01:00
2020-05-14 17:42:54 +02:00
2020-03-19 09:33:58 +01:00
2019-10-03 07:39:45 +10:00
2020-05-19 15:20:40 +02:00
2019-04-17 06:21:24 +02:00
2019-04-17 06:21:24 +02:00
2020-04-28 13:31:01 +02:00
2020-03-19 09:33:58 +01:00
2020-06-09 11:58:47 +02:00
2020-03-19 09:33:58 +01:00
2019-04-17 06:21:24 +02:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-04-07 12:10:36 +10:00
2020-04-21 13:16:59 +02:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2019-04-29 22:06:26 +10:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2019-04-17 06:21:24 +02:00
2019-04-17 06:21:24 +02:00
2019-04-17 06:21:24 +02:00
2019-03-20 00:30:45 +11:00
2020-03-19 09:33:58 +01:00
2020-05-04 19:50:06 +10:00
2019-09-08 00:23:25 +10:00
2020-03-19 09:33:58 +01:00
2020-05-28 16:42:31 +10:00
2019-04-17 06:21:24 +02:00
2020-06-09 10:15:43 +02:00
2020-02-08 01:02:18 +11:00
2020-03-09 14:47:59 +01:00
2020-06-06 00:46:25 +10:00
2020-03-06 17:26:32 +01:00
2020-05-25 18:59:14 +02:00
2019-09-08 00:23:25 +10:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-05-09 17:15:43 +10:00
2019-08-12 01:10:43 +10:00
2020-05-01 15:05:25 +10:00
2020-05-27 20:04:46 +02:00
2019-04-17 06:21:24 +02:00
2020-05-08 19:02:03 +10:00
2020-04-08 16:46:16 +10:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-05-08 12:42:10 +10:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2019-04-17 06:21:24 +02:00
2019-09-30 17:07:05 +10:00
2020-05-09 17:15:43 +10:00
2020-04-21 13:16:59 +02:00
2020-05-26 08:15:50 -07:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-05-09 18:12:14 -06:00
2020-05-03 13:42:49 +10:00
2020-05-25 21:03:45 +10:00
2020-04-30 08:09:21 +02:00
2020-05-20 01:03:05 +02:00
2020-05-20 01:03:05 +02:00
2020-05-09 17:19:28 +10:00
2020-05-20 01:03:05 +02:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00
2020-06-09 10:27:24 +02:00
2019-04-17 06:21:24 +02:00
2020-03-25 17:58:58 +11:00
2019-04-17 06:21:24 +02:00
2020-03-19 09:33:58 +01:00
2020-03-19 09:33:58 +01:00