ylavic eb6ee17d2d Speed up Pointer::operator<().
Speed is more important than alphabetical order (which makes few sense in
JSON in general, and with pointers especially). The use case is indexing
in std containers, i.e. O(log n) with rbtree, so the faster comparison
the better.
2018-12-12 22:32:56 +01:00
..
2018-06-16 12:32:17 +02:00
2017-08-07 11:58:37 +08:00
2016-06-13 07:24:26 -07:00
2017-02-07 01:08:51 -08:00
2018-12-12 22:32:56 +01:00
2016-02-02 18:20:36 +08:00
2016-04-06 01:16:00 +08:00
2018-01-13 12:51:24 +08:00