• Alexandre Duret-Lutz's avatar
    tl: fix handling of f##[0:0]g, and of ##[0:n]g · 90a88d0b
    Alexandre Duret-Lutz authored
    The first issue was reported by Victor Khomenko.
    
    * spot/tl/formula.cc: Introduce a single-argument
    version of sugar_delay().
    * spot/parsetl/parsetl.yy: Use it.
    * doc/tl/tl.tex, spot/tl/formula.hh: Adjust doc.
    * tests/core/ltlfilt.test, tests/core/sugar.test: More tests.
    90a88d0b
Name
Last commit
Last update
..
gen Loading commit data...
graph Loading commit data...
kripke Loading commit data...
ltsmin Loading commit data...
misc Loading commit data...
parseaut Loading commit data...
parsetl Loading commit data...
priv Loading commit data...
ta Loading commit data...
taalgos Loading commit data...
tl Loading commit data...
twa Loading commit data...
twaalgos Loading commit data...
.gitignore Loading commit data...
Makefile.am Loading commit data...
libspot.pc.in Loading commit data...