Skip to content
  • Alexandre Duret-Lutz's avatar
    tl: add support for ##n and ##[i:j] from SVA · 60d488b3
    Alexandre Duret-Lutz authored
    * spot/tl/formula.cc, spot/tl/formula.hh (formula::sugar_delay): New
    function to implement this operator as syntactic sugar.
    * spot/parsetl/parsetl.yy, spot/parsetl/scantl.ll: Parse it.
    * doc/tl/tl.tex: Document the syntactic sugar rules and precedence.
    * tests/core/sugar.test: Add tests.
    * NEWS: Mention this new feature.
    60d488b3
To find the state of this project's repository at the time of any of these versions, check out the tags.