-
Alexandre Duret-Lutz authored
* spot/gen/formulas.cc, spot/gen/formulas.hh: Here. * bin/genltl.cc: Add options. * tests/core/genltl.test: Test them. * NEWS: Mention them.
1341c656
* spot/gen/formulas.cc, spot/gen/formulas.hh: Here. * bin/genltl.cc: Add options. * tests/core/genltl.test: Test them. * NEWS: Mention them.