• Alexandre Duret-Lutz's avatar
    * src/tgba/bdddict.hh (bdd_dict) <fv_map, vf_map, ref_set, · 752d4afc
    Alexandre Duret-Lutz authored
    vr_map, free_annonymous_list_of_type>: Redeclare as std::map,
    instead of Sgi::hash_map.  It proved to be faster.
    * src/tgbaalgos/ltl2tgba_fm.cc (translate_dict) <fv_map, vf_map>:
    Use the same definition as in bdd_dict.
    * tgbaalgos/reachiter.hh, tgbaalgos/replayrun.cc: Explicitly
    include misc/hash.hh.
To find the state of this project's repository at the time of any of these versions, check out the tags.