Skip to content
  • Alexandre Duret-Lutz's avatar
    ltldo: new binary · 16a8c031
    Alexandre Duret-Lutz authored
    * src/bin/common_trans.cc, src/bin/common_trans.hh: New files,
    extracted from...
    * src/bin/ltlcross.cc: ... here, so that ltldo can use them.
    * src/bin/ltldo.cc: New file.
    * src/bin/Makefile.am: Adjust.
    * src/bin/common_aoutput.cc, src/bin/common_aoutput.hh: Make
    it possible to add new statistics.
    * doc/org/ltldo.org: New file.
    * doc/Makefile.am, doc/org/tools.org: Adjust.
    * src/bin/man/ltldo.x: New file.
    * src/bin/man/Makefile.am: Adjust.
    * src/bin/man/ltlcross.x, src/bin/man/ltlfilt.x: Mention ltldo(1).
    * src/tgbatest/ltldo.test, src/tgbatest/ltldo2.test: New files.
    * src/tgbatest/Makefile.am: Add them.
    * NEWS: Mention ltldo.
    16a8c031