1. 01 Jan, 2020 4 commits
  2. 31 Dec, 2019 3 commits
  3. 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
  4. 06 Nov, 2019 2 commits
  5. 28 Oct, 2019 11 commits
  6. 27 Sep, 2019 5 commits
  7. 26 Sep, 2019 6 commits
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      aiger: simplify output code, and fix some function call order · 4c0e7bf8
      Alexandre Duret-Lutz authored
      * spot/twaalgos/aiger.cc: Simplify some bit operatitions.  Force the
      ordering of operations in aig_and, that was causing a test case to
      fail on ARM, and greatly simplify the code and data structures used in
      remove_unused().
      * tests/core/ltlsynt.test: Adjust expected output.
      4c0e7bf8
    • Alexandre Duret-Lutz's avatar
      bin: handle any exception before returning from parse_opt() · 6bdb1357
      Alexandre Duret-Lutz authored
      On some architectures (e.g., ARM, or even some -flto setups on Intel)
      C++ exceptions to not traverse the C functions.  So even if the C++
      main() has a try/catch, it will not catch the exception thrown by C++
      code called from the argp module (which is compiled in C).
      
      * bin/common_setup.cc, bin/common_setup.hh: Define some macros
      and function to factorize exception handling.
      * bin/autcross.cc, bin/autfilt.cc, bin/common_aoutput.cc,
      bin/common_color.cc, bin/common_finput.cc, bin/common_hoaread.cc,
      bin/common_output.cc, bin/common_post.cc, bin/common_trans.cc,
      bin/dstar2tgba.cc, bin/genaut.cc, bin/genltl.cc, bin/ltl2tgba.cc,
      bin/ltl2tgta.cc, bin/ltlcross.cc, bin/ltldo.cc, bin/ltlfilt.cc,
      bin/ltlgrind.cc, bin/ltlsynt.cc, bin/randaut.cc, bin/randltl.cc:
      Protect all parse_opt() functions, even those where there is currently
      no exception risk.
      6bdb1357
    • Alexandre Duret-Lutz's avatar
      fix ARM builds · 0da5f44c
      Alexandre Duret-Lutz authored
      * spot/misc/bitvect.hh (bitvect_array::at): Fix pointer cast.
      * spot/twa/bddprint.cc: Adjust to use signed char* explicitly.
      * spot/twaalgos/gtec/gtec.hh: Work around GCC bug #90309.
      * .gitlab-ci.yml: Add raspbian build.
      0da5f44c
    • Alexandre Duret-Lutz's avatar
      [buddy] fix ARM compilation · a7e4cb41
      Alexandre Duret-Lutz authored
      * src/bddop.c, src/bddx.h, examples/bddtest/bddtest.cxx: Use signed
      char* instead of char*.
      a7e4cb41
  8. 24 Sep, 2019 2 commits
  9. 13 Sep, 2019 1 commit