• Alexandre Duret-Lutz's avatar
    genltl: add --gf-implies · 0b71df3f
    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.
NEWS 184 KB