• Alexandre Duret-Lutz's avatar
    * src/tgbatest/scc.test: New file. · a2b6bef0
    Alexandre Duret-Lutz authored
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbaalgos/scc.hh: More documentation.
    * src/tgbaalgos/scc.cc (scc_recurse): Fix computation of
    acc_paths and dead_paths.  Prevent recursions in states that
    have already been visited.
    a2b6bef0
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 247 KB