Skip to content
  • Alexandre Duret-Lutz's avatar
    Add support for the {SERE}! PSL operator. · fdd73d51
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlscan.ll: Recognize }!.  Also remove
    five duplicate rules.
    * src/ltlparse/ltlparse.yy: Build {r}<>->1 when parsing {r}!.
    * src/ltlvisit/tostring.cc: Print {r}! instead of {r}<>->1.
    * src/ltltest/tostring.test, src/ltltest/equals.test:
    Add more tests.
    fdd73d51