tree: mark a tree as already sorted
The trees are sorted on-disk, so we don't have to go over them again. This cuts almost a fifth of time spent parsing trees.
Showing
Please
register
or
sign in
to comment
The trees are sorted on-disk, so we don't have to go over them again. This cuts almost a fifth of time spent parsing trees.