5 Commits

Author	SHA1	Message	Date
Jan	6ee9206e46	clear traverser cache in-between (#8772)	2019-04-17 15:27:37 +02:00
Simon	937d743ba6	Bug fix/pregel stuff (#8733)	2019-04-11 15:58:28 +02:00
Jan	1798036ea0	Bug fix/optimizations 18022019 (#8180)	2019-02-19 19:24:04 +01:00
jsteemann	9f1d9d9a23	renamed CharLengthPair to StringRef	2016-06-15 19:33:08 +02:00
jsteemann	130493d481	micro optimizations	2016-05-11 21:02:20 +02:00