1. 11 Dec, 2018 1 commit
  2. 07 Dec, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      translate: fix stutter-invariant flag on leading Xs · 77f3ba94
      Alexandre Duret-Lutz authored
      Issue discovered by Mikuláš Klokočka and reported by František
      Blahoudek.
      
      * spot/twaalgos/translate.cc: Reset the stutter-invariant flag
      when adding extra transitions for leading Xs.
      * tests/core/stutter-tgba.test: New test case.
      * NEWS: Mention the bug.
      77f3ba94
  3. 05 Dec, 2018 1 commit
  4. 08 Nov, 2018 2 commits
  5. 03 Nov, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      python: more conventional __repr__ for several types · 60296317
      Alexandre Duret-Lutz authored
      * NEWS: Mention the change.
      * python/spot/__init__.py: Add _repr_latex_ for twa_word, and
      remove __repr__ and __str__ for atomic_prop_set.
      * python/spot/impl.i: Implement __repr__ and __str__ for
      atomic_prop_set.  Fix __repr__ for trival, acc_code, acc_cond,
      mark_t.  Remove __repr__ for twa_run and twa_word.
      * tests/python/acc_cond.ipynb, tests/python/accparse.ipynb,
      tests/python/atva16-fig2a.ipynb, tests/python/automata.ipynb,
      tests/python/bdditer.py, tests/python/contains.ipynb,
      tests/python/gen.ipynb, tests/python/highlighting.ipynb,
      tests/python/ltlsimple.py, tests/python/ltsmin-dve.ipynb,
      tests/python/product.ipynb, tests/python/relabel.py,
      tests/python/satmin.ipynb tests/python/stutter-inv.ipynb,
      tests/python/word.ipynb: Adjust test cases.
      * tests/python/formulas.ipynb: Add test for atomic_prop_set.
      60296317
  6. 31 Oct, 2018 2 commits
  7. 17 Oct, 2018 4 commits
  8. 15 Oct, 2018 5 commits
  9. 12 Oct, 2018 2 commits
  10. 01 Oct, 2018 2 commits
  11. 28 Sep, 2018 2 commits
  12. 26 Sep, 2018 5 commits
  13. 25 Sep, 2018 1 commit
  14. 11 Aug, 2018 2 commits
  15. 04 Aug, 2018 2 commits
  16. 03 Aug, 2018 1 commit
  17. 02 Aug, 2018 5 commits
  18. 01 Aug, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      contains: fix the semantics · 23722c03
      Alexandre Duret-Lutz authored
      spot::contains(a, b) should test a⊇b.  It was testing a⊆b instead.
      
      * NEWS: Mention the bug.
      * spot/twaalgos/contains.cc, spot/twaalgos/contains.hh: Fix the
      code and documentation.
      * tests/python/contains.ipynb: Adjust description and expected
      results.
      * python/spot/__init__.py: Also swap the argument of
      language_containment_checker.contains()
      * bin/autfilt.cc: Adjust usage.
      23722c03