1. 16 Jan, 2019 1 commit
  2. 14 Jan, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      python: improve bdd_dict bindings · 3908cc1b
      Alexandre Duret-Lutz authored
      Fixes #372.
      
      * python/spot/impl.i: Refactor the handling of exceptions using a
      Lippincott function.  Map out_of_range to IndexError.  Add
      PyObject* version for bdd_dict's register and unregister functions
      so we can use Python objects as well.
      * tests/python/bdddict.py: New file.
      * tests/Makefile.am: Add it.
      * NEWS: Mention the changes.
      3908cc1b
  3. 07 Jan, 2019 2 commits
  4. 17 Dec, 2018 1 commit
  5. 13 Dec, 2018 2 commits
  6. 11 Dec, 2018 2 commits
  7. 07 Dec, 2018 2 commits
  8. 05 Dec, 2018 1 commit
  9. 04 Dec, 2018 1 commit
  10. 03 Dec, 2018 1 commit
  11. 29 Nov, 2018 1 commit
    • Etienne Renault's avatar
      noexcept: please gcc snapshot · c2c8d215
      Etienne Renault authored
      * bin/common_finput.hh,
      bin/common_trans.cc,
      bin/common_trans.hh,
      spot/misc/minato.hh,
      spot/ta/ta.cc,
      spot/ta/ta.hh,
      spot/twa/acc.hh,
      spot/twaalgos/cycles.hh,
      spot/twaalgos/emptiness.hh,
      spot/twaalgos/gtec/gtec.hh,
      spot/twaalgos/ndfs_result.hxx,
      spot/twaalgos/sccinfo.hh,
      spot/twaalgos/word.cc,
      spot/twaalgos/word.hh: Here.
      c2c8d215
  12. 10 Nov, 2018 3 commits
  13. 08 Nov, 2018 2 commits
  14. 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
  15. 02 Nov, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      python: add __repr__ for rs_pair · c3b7a691
      Alexandre Duret-Lutz authored
      * spot/twa/acc.hh: Hide default constructors, so that we can have
      keyword arguments on the main constructor.
      * python/spot/impl.i: Add __repr__.
      * tests/python/setacc.py: Test it.
      c3b7a691
  16. 31 Oct, 2018 2 commits
  17. 29 Oct, 2018 2 commits
  18. 17 Oct, 2018 5 commits
  19. 15 Oct, 2018 6 commits
  20. 12 Oct, 2018 2 commits
  21. 08 Oct, 2018 1 commit