1. 13 Mar, 2020 2 commits
  2. 12 Mar, 2020 6 commits
  3. 19 Feb, 2020 12 commits
  4. 04 Jan, 2020 2 commits
  5. 03 Jan, 2020 1 commit
  6. 01 Jan, 2020 4 commits
  7. 31 Dec, 2019 3 commits
  8. 08 Dec, 2019 6 commits
    • Alexandre Duret-Lutz's avatar
      44d9a629
    • Alexandre Duret-Lutz's avatar
      Release Spot 2.8.4 · 625a2e28
      Alexandre Duret-Lutz authored
      * NEWS, configure.ac, doc/org/setup.org: Set version to 2.8.4.
      625a2e28
    • Alexandre Duret-Lutz's avatar
      bin: fix documentation of --trust-hoa · e374b956
      Alexandre Duret-Lutz authored
      * bin/common_hoaread.cc: Here.  Reported by Juraj Major.
      e374b956
    • Alexandre Duret-Lutz's avatar
      remfin: fix tra_to_tba · adc7c934
      Alexandre Duret-Lutz authored
      This fixes a complementation bug reported by Juraj Major and Tereza
      Šťastná.
      
      * spot/twaalgos/remfin.cc (is_scc_tba_type): Fix the condition for
      handling Fin-alone pairs.
      * tests/core/complement.test: Add Juraj & Tereza's test case.
      * NEWS: Mention it.
      adc7c934
    • Alexandre Duret-Lutz's avatar
      python: define our own SVG DisplayObject · 71fef458
      Alexandre Duret-Lutz authored
      This is to workaround differences in minidom's pretty-printing that
      occurred between Python 3.7 and 3.8.
      
      * python/spot/jupyter.py (SVG): New class.
      * python/spot/__init__.py: Use it.
      * tests/python/_altscc.ipynb, tests/python/alternation.ipynb,
      tests/python/automata.ipynb, tests/python/formulas.ipynb,
      tests/python/gen.ipynb, tests/python/highlighting.ipynb,
      tests/python/ltsmin-dve.ipynb, tests/python/ltsmin-pml.ipynb,
      tests/python/product.ipynb, tests/python/randaut.ipynb,
      tests/python/testingaut.ipynb, tests/python/twagraph-internals.ipynb,
      tests/python/word.ipynb: Adjust.
      71fef458
    • Alexandre Duret-Lutz's avatar
      org: improve architecture diagram · 317520ef
      Alexandre Duret-Lutz authored
      * doc/org/arch.tex: Improve diagram, add links and online services.
      * doc/org/concepts.org: Update text.
      317520ef
  9. 06 Nov, 2019 2 commits
  10. 28 Oct, 2019 2 commits