4 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	1f0c765547	ltl2tgta: new tool ... * src/bin/common_post.cc, src/bin/common_post.hh: New files, extracted from ... * src/bin/ltl2tgba.cc: ... here. * src/bin/ltl2tgta.cc, src/bin/man/ltl2tgta.x: New files. * src/bin/Makefile.am, src/bin/man/Makefile.am: Adjust. * NEWS: Mention ltl2tgta.	2012-09-24 17:08:11 +02:00
Alexandre Duret-Lutz	6a3cf7538c	bin/ltl2tgba: New user binary. ... * 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.	2012-09-12 18:53:16 +02:00
Alexandre Duret-Lutz	760d75cc44	randltl: first stage of the reimplementation ... * src/bin/common_range.cc, src/bin/common_range.hh: New files, extracted from... * src/bin/genltl.cc: ... here. * src/bin/randltl.cc, src/bin/man/randltl.x: New files. * src/bin/Makefile.am, src/bin/man/Makefile.am: Adjust. * src/bin/man/genltl.x: Point to randltl(1).	2012-09-07 14:32:10 +02:00
Alexandre Duret-Lutz	c96513b6b8	help2man: generate man pages for genltl and ltlfilt ... * tools/help2man, tools/x-to-1.in: New files, copied from gnulib 1af55d85d9762a679b4302d5995f05ccd883e956. * configure.ac: Create x-to-1 and export CROSS_COMPILING. * Makefile.am: Distribute help2man. * src/bin/Makefile.am (SUBDIRS): New. * src/bin/man/Makefile.am: New file. * src/bin/man/genltl.x, src/bin/man/ltlfilt.x: New files. * src/bin/genltl.cc: Document the RANGE in the options, and move the bibliography to genltl.x. * README: Document src/bin/man	2012-09-07 14:32:10 +02:00