Skip to content
  • Denis Poitrenaud's avatar
    * src/tgbaalgos/magic.cc: rewrite to externalize the heap and · f52082bc
    Denis Poitrenaud authored
    prepare it to a bit state hashing version.
    * src/tgbaalgos/magic.hh: adapt to the new interface of
    magic_search and se05_search.
    * src/tgbaalgos/se05.cc: new file.
    * src/tgbaalgos/Makefile.am: Add it.
    * src/tgbatest/ltl2tgba.cc: Add new emptiness check.
    * src/tgbatest/emptchk.test: more tests.
    * src/tgbatest/dfs.test: new file.
    * src/tgbatest/Makefile.am: Add it.
    f52082bc
To find the state of this project's repository at the time of any of these versions, check out the tags.