Skip to content
  • Denis Poitrenaud's avatar
    * src/tgbaalgos/ndfs_result.hh: Rewrite the computation of accepting · 8dbc9424
    Denis Poitrenaud authored
    runs.
    * src/tgbaalgos/bfssteps.hh, src/tgbaalgos/bfssteps.cc: Add the method
    finalize witch compute (by default) the traversed path.
    * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc: Fix a bug concerning
    the heap used for bit state hashing version and ajust the prototype of
    has_been_visited and pop_notify.
    * src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: ajust the prototype
    of has_been_visited and pop_notify.
    8dbc9424
To find the state of this project's repository at the time of any of these versions, check out the tags.