• Alexandre Duret-Lutz's avatar
    Implement is_safety_automaton(). · 0af8d032
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/safety.hh, src/tgbaalgos/safety.cc: New
    files.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbatests/ltl2tgba.cc: Add option "-O".
    * src/tgbaalgos/scc.hh: Update documentation.
    * src/tgbatest/Makefile.am (TESTS): Add safety.test.
    * src/tgbatest/safety.test: New file.
    0af8d032
To find the state of this project's repository at the time of any of these versions, check out the tags.