Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlcross: add support for alternating automata · 87c9d6f0
    Alexandre Duret-Lutz authored
    * bin/ltlcross.cc: Add an alternation-removal pass, and
    adjust CSV output.
    * doc/org/ltlcross.org: Update.
    * tests/core/ltl3dra.test, tests/core/ltl3ba.test: Add more tests.
    * tests/Makefile.am: Add tests/core/ltl3ba.test.
    * NEWS: Mention it.
    87c9d6f0