• Denis Poitrenaud's avatar
    * src/tgbaalgos/magic.cc: Add a bit state hashing version. · 3ea97719
    Denis Poitrenaud authored
    * src/tgbaalgos/se05.cc: Add a bit state hashing version.
    * src/tgbaalgos/magic.hh: Make them public.
    * src/tgbatest/ltl2tgba.cc: Add the two new emptiness checks.
    * src/tgbatest/emptchk.test: Incorporate tests of src/tgbatest/dfs.test.
    * src/tgbatest/dfs.test: Introduce new characteristic explicit tests.
To find the state of this project's repository at the time of any of these versions, check out the tags.