Skip to content
  • Alexandre Duret-Lutz's avatar
    Add back the '*' syntax for And. · 5939d6f4
    Alexandre Duret-Lutz authored
    This somehow revert changes from 2010-01-30 which killed this use of
    star to make room for the Kleen star.  Here we only allow '*' in the
    temporal formula, so that it can still be the Kleen star in SERE.  The
    motivation for '*' available as And is better compatibility with Wring
    and VIS.
    
    * src/ltlparse/ltlscan.ll: Distinguish * from [*].
    * src/ltlparse/ltlparse.yy: Allows * to be used as AND between
    temporal formulae.
    * src/ltltest/equals.test, src/ltltest/parse.test: Add a few
    tests.
    * doc/tl/tl.tex: Document it.
    5939d6f4