Skip to content
  • Alexandre Duret-Lutz's avatar
    bin/ltl2tgba: New user binary. · 6a3cf753
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: New class to
    capture the postprocessing logic.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/bin/ltl2tgba.cc, src/bin/man/ltl2tgba.x: New files.
    * src/bin/Makefile.am, src/bin/man/Makefile.am: Add them.
    * src/tgbatest/spotlbtt.test: Prune the list of configurations slightly.
    * src/tgbatest/spotlbtt2.test: New file.
    * src/tgbatest/Makefile.am: Add it.
    * bench/ltl2tgba/algorithms, bench/ltl2tgba/defs.in: Adjust to
    use the new binary.
    * NEWS: Update.
    6a3cf753