• Show log

    Commit

  • Hash : 4ed9e939
    Author : Carlos Martín Nieto
    Date : 2016-03-20T12:01:45

    tree: store the entries in a growable array Take advantage of the constant size of tree-owned arrays and store them in an array instead of a pool. This still lets us free them all at once but lets the system allocator do the work of fitting them in.