• Alexandre Duret-Lutz's avatar
    tl: add support for X[n], F[n:m] and G[n:m] · e7aa334a
    Alexandre Duret-Lutz authored
    * NEWS, doc/tl/tl.tex, doc/tl/tl.bib: Document these new operators.
    * spot/parsetl/parsetl.yy, spot/parsetl/scantl.ll: Parse those.
    * spot/tl/formula.cc, spot/tl/formula.hh: Add constructors.
    * spot/gen/formulas.cc: Use it.
    * tests/core/sugar.test: New file.
    * tests/Makefile.am: Add it.
    e7aa334a
Name
Last commit
Last update
..
Makefile.am Loading commit data...
automata.cc Loading commit data...
automata.hh Loading commit data...
formulas.cc Loading commit data...
formulas.hh Loading commit data...
libspotgen.pc.in Loading commit data...