• Alexandre Duret-Lutz's avatar
    minimize_wdba() failed to fully minimize some automata. · a5787937
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/minimize.cc (minimize_wdba): Fix the Löding
    algorithm to use colors.  The previous implementation was an
    incorrect approximation.
    * src/tgbatest/wdba2.test: New file showing two equivalent
    formulas that were minimized in automata with different sizes.
    * src/tgbatest/Makefile.am: Add it.
To find the state of this project's repository at the time of any of these versions, check out the tags.