-
Alexandre Duret-Lutz authored
* spot/gen/formulas.cc, spot/gen/formulas.hh: Implement LTL_GF_IMPLIES. * bin/genltl.cc: Add --gf-implies. * NEWS: Mention it. * tests/core/genltl.test: Use it.
0b71df3f
To find the state of this project's repository at the time of any of these versions, check out the tags.