1. 20 May, 2019 1 commit
    • 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
  2. 19 May, 2019 1 commit
  3. 18 May, 2019 5 commits
  4. 11 May, 2019 1 commit
  5. 08 May, 2019 1 commit
  6. 06 May, 2019 3 commits
    • Alexandre Duret-Lutz's avatar
      tl: first_match does not preserve syntactic_si · b7cd4756
      Alexandre Duret-Lutz authored
      * spot/tl/formula.cc: Fix it.
      * tests/core/kind.test: Add test case.
      b7cd4756
    • Alexandre Duret-Lutz's avatar
      tut03: add missing operators · ef8de879
      Alexandre Duret-Lutz authored
      * doc/org/tut03.org: Here.
      ef8de879
    • Alexandre Duret-Lutz's avatar
      implement SVA's first_match operator · 6fac0264
      Alexandre Duret-Lutz authored
      * NEWS, doc/tl/tl.tex, doc/tl/tl.bib: Document it.
      * spot/parsetl/parsetl.yy, spot/parsetl/scantl.ll: Parse it.
      * spot/tl/formula.cc, spot/tl/formula.hh, spot/tl/dot.cc,
      spot/tl/mutation.cc, spot/tl/print.cc, spot/tl/randomltl.cc,
      spot/twaalgos/ltl2tgba_fm.cc: Adjust to support first_match.
      * spot/tl/mark.cc, spot/tl/simplify.cc, spot/tl/snf.cc,
      spot/tl/unabbrev.cc, spot/twa/formula2bdd.cc,
      spot/twaalgos/ltl2taa.cc: Ignore it.
      * tests/core/acc_word.test, tests/core/randpsl.test: Add more tests.
      * tests/core/rand.test, tests/core/unambig.test,
      tests/python/randltl.ipynb: Adjust.
      * tests/python/formulas.ipynb: Show first_match.
      6fac0264
  7. 05 May, 2019 1 commit
  8. 04 May, 2019 1 commit
    • 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
  9. 27 Apr, 2019 3 commits
  10. 26 Apr, 2019 15 commits
  11. 25 Apr, 2019 1 commit
  12. 24 Apr, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      man: minor fixes · 17f91132
      Alexandre Duret-Lutz authored
      * bin/man/spot-x.x, bin/man/dstar2tgba.x, bin/spot-x.cc: Cosmetics
      changes.
      * bin/man/README: New file.
      17f91132
  13. 19 Apr, 2019 5 commits
  14. 18 Apr, 2019 1 commit