Skip to content
Find file Blame History Permalink
  • 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.