Stanisław Barzowski 6490cb1973 Builtin implementation for std.sort
Sort is something that is highly optimized in most languages
and users can expect it to be fast. We can piggyback on
the Go implementation.

This change results in 100x speedup on bench.06.jsonnet.
2019-09-09 13:37:12 +02:00
..
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-10-03 15:17:32 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 23:33:55 -04:00
2017-09-29 23:33:55 -04:00
2017-09-29 23:33:55 -04:00
2017-09-29 23:33:55 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-11 16:38:37 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-10-10 00:06:14 -04:00
2017-09-29 22:57:31 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-09-26 12:17:08 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-09-22 18:03:00 -04:00
2017-08-30 01:38:36 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2018-02-16 13:01:14 -05:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2018-10-25 12:45:07 +01:00
2018-10-25 12:45:07 +01:00
2018-10-25 12:45:07 +01:00
2018-10-25 12:45:07 +01:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-11 16:38:37 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-28 23:14:53 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2018-04-28 01:34:42 -04:00
2018-04-28 01:34:42 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-10-05 22:13:09 -04:00
2017-10-05 22:13:09 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-10-05 22:13:09 -04:00
2017-10-05 22:13:09 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 15:49:06 -04:00
2017-10-13 19:55:24 -04:00
2017-10-13 19:55:24 -04:00
2017-10-13 19:55:24 -04:00
2017-09-22 18:03:00 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 15:41:41 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2018-12-12 21:01:20 +00:00
2017-09-22 18:03:00 -04:00
2018-12-12 21:01:20 +00:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2018-12-12 21:01:20 +00:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-22 18:03:00 -04:00
2017-09-27 18:00:30 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 13:45:52 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 13:45:52 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-09-22 13:45:52 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-07 11:55:33 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-14 17:09:57 -04:00
2017-09-22 18:03:00 -04:00
2017-09-14 17:09:57 -04:00
2017-09-22 18:03:00 -04:00
2017-09-14 17:09:57 -04:00
2017-09-22 18:03:00 -04:00
2017-09-14 17:09:57 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-14 17:09:57 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 13:26:04 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-10-10 00:06:14 -04:00
2017-10-10 00:06:14 -04:00
2017-09-08 14:19:19 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-27 18:00:30 -04:00
2017-09-27 18:00:30 -04:00
2017-09-22 18:03:00 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-09-28 22:21:46 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-13 15:33:23 -04:00
2017-10-10 00:06:14 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-29 22:57:31 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00
2017-09-22 18:03:00 -04:00