Files
fail/tools/prune-trace
Horst Schirmeier 2f70e05db6 util: rename SumTree::get -> remove, add r/o get
SumTree::get now non-intrusively picks an element and returns a
reference to it, SumTree::remove removes and returns a copy.  The
former is needed for sampling with replacement.

Change-Id: Iefef2fdf0b7df6ea7a9949f2588528ec9e86bb7a
2015-01-21 00:17:48 +01:00
..
2014-08-28 13:58:46 +02:00
2014-08-28 11:57:40 +02:00
2014-08-28 13:58:46 +02:00