Skip to content
  • Denis Poitrenaud's avatar
    * src/tgbaalgos/ 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/ new file.
    * src/tgbaalgos/ Add it.
    * src/tgbatest/ Add new emptiness check.
    * src/tgbatest/emptchk.test: more tests.
    * src/tgbatest/dfs.test: new file.
    * src/tgbatest/ Add it.
To find the state of this project's repository at the time of any of these versions, check out the tags.