• Show log

    Commit

  • Hash : af1d5239
    Author : Carlos Martín Nieto
    Date : 2015-08-14T21:10:12

    index: keep a hash table as well as a vector of entries
    
    The hash table allows quick lookup of specific paths, while we use the
    vector for enumeration.