-
Alexandre Duret-Lutz authored
* src/misc/hash.hh (ptr_hash): Use knuth32_hash. * src/tgba/tgbabddconcretefactory.hh (tgba_bdd_concrete_factory): Use ltl::formula_ptr_hash for acc_map_.
814ec7c2
To find the state of this project's repository at the time of any of these versions, check out the tags.