1. 08 Dec, 2019 5 commits
    • 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
  2. 06 Nov, 2019 2 commits
  3. 28 Oct, 2019 11 commits
  4. 27 Sep, 2019 5 commits
  5. 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
  6. 24 Sep, 2019 2 commits
  7. 13 Sep, 2019 2 commits
  8. 12 Sep, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      fix failing tests on Debian unstable · b1007a3d
      Alexandre Duret-Lutz authored
      * tests/Makefile.am (ltsmin_modelcheck_LDADD): Add -lpthread as it
      seems Debian's libtool does not carries this dependency over from
      libspotltsmin.la.  Also using $(LTLIBMULTITHREAD) does not work,
      because that would add -pthread which is currently ignored when
      linking shared libraries (because libtool adds -nostdlib for some
      reason).
      b1007a3d
  9. 10 Sep, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      update to gnulib d77a23b15925e5554325ea3553c940133734eee3 · 8868bc67
      Alexandre Duret-Lutz authored
      * configure.ac: Update minimum autoconf version.
      * lib/config.charset, lib/ref-add.sin, lib/ref-del.sin,
      m4/closeout.m4, m4/close-stream.m4, m4/configmake.m4, m4/glibc21.m4,
      m4/hard-locale.m4: Remove.
      * lib/alloca.c, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/arg-nonnull.h, lib/argp-ba.c, lib/argp-eexst.c,
      lib/argp-fmtstream.c, lib/argp-fmtstream.h, lib/argp-fs-xinl.c,
      lib/argp.h, lib/argp-help.c, lib/argp-namefrob.h, lib/argp-parse.c,
      lib/argp-pin.c, lib/argp-pv.c, lib/argp-pvh.c, lib/argp-xinl.c,
      lib/asnprintf.c, lib/basename-lgpl.c, lib/c-ctype.h, lib/c++defs.h,
      lib/closeout.c, lib/closeout.h, lib/close-stream.c,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strcase.h,
      lib/c-strncasecmp.c, lib/dirname.h, lib/dirname-lgpl.c, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/filename.h, lib/float.c,
      lib/float+.h, lib/float.in.h, lib/fpending.c, lib/fpending.h,
      lib/getopt1.c, lib/getopt.c, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt.in.h, lib/getopt_int.h,
      lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h, lib/getprogname.c,
      lib/getprogname.h, lib/gettext.h, lib/gettimeofday.c,
      lib/hard-locale.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
      lib/itold.c, lib/limits.in.h, lib/localcharset.c, lib/localcharset.h,
      lib/localtime-buffer.c, lib/localtime-buffer.h, lib/lstat.c,
      lib/Makefile.am, lib/malloca.c, lib/malloca.h, lib/malloc.c,
      lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c, lib/memchr.valgrind,
      lib/mempcpy.c, lib/minmax.h, lib/mkstemp.c, lib/mkstemps.c,
      lib/msvc-inval.c, lib/msvc-inval.h, lib/msvc-nothrow.c,
      lib/msvc-nothrow.h, lib/_Noreturn.h, lib/pathmax.h, lib/printf-args.c,
      lib/printf-args.h, lib/printf-parse.c, lib/printf-parse.h,
      lib/progname.c, lib/progname.h, lib/quotearg.c, lib/quotearg.h,
      lib/quote.h, lib/rawmemchr.c, lib/rawmemchr.valgrind,
      lib/secure_getenv.c, lib/size_max.h, lib/sleep.c, lib/stat.c,
      lib/stat-time.h, lib/stat-w32.c, lib/stat-w32.h, lib/stdalign.in.h,
      lib/stdbool.in.h, lib/stddef.in.h, lib/stdint.in.h, lib/stdio-impl.h,
      lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c, lib/strcasecmp.c,
      lib/strchrnul.c, lib/strchrnul.valgrind, lib/streq.h, lib/strerror.c,
      lib/strerror-override.c, lib/strerror-override.h, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sysexits.in.h, lib/sys_stat.in.h,
      lib/sys_time.in.h, lib/sys_types.in.h, lib/sys_wait.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
      lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
      lib/warn-on-use.h, lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc.h, lib/xalloc-oversized.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/codeset.m4, m4/dirname.m4, m4/double-slash-root.m4, m4/eealloc.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl_h.m4, m4/fcntl-o.m4, m4/float_h.m4,
      m4/fpending.m4, m4/getopt.m4, m4/getprogname.m4, m4/gettimeofday.m4,
      m4/gnulib-cache.m4, m4/gnulib-common.m4, m4/gnulib-comp.m4,
      m4/gnulib-tool.m4, m4/include_next.m4, m4/intmax_t.m4,
      m4/inttypes_h.m4, m4/isatty.m4, m4/largefile.m4, m4/limits-h.m4,
      m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4, m4/locale-zh.m4,
      m4/localtime-buffer.m4, m4/longlong.m4, m4/lstat.m4, m4/malloca.m4,
      m4/malloc.m4, m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4,
      m4/mbstate_t.m4, m4/memchr.m4, m4/mempcpy.m4, m4/minmax.m4,
      m4/mkstemp.m4, m4/mkstemps.m4, m4/mmap-anon.m4, m4/msvc-inval.m4,
      m4/msvc-nothrow.m4, m4/multiarch.m4, m4/nocrash.m4, m4/off_t.m4,
      m4/pathmax.m4, m4/printf.m4, m4/quotearg.m4, m4/quote.m4,
      m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4, m4/sleep.m4,
      m4/ssize_t.m4, m4/stat.m4, m4/stat-time.m4, m4/stdalign.m4,
      m4/stdbool.m4, m4/stddef_h.m4, m4/stdint_h.m4, m4/stdint.m4,
      m4/stdio_h.m4, m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4,
      m4/strchrnul.m4, m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4,
      m4/strndup.m4, m4/strnlen.m4, m4/strverscmp.m4, m4/sysexits.m4,
      m4/sys_socket_h.m4, m4/sys_stat_h.m4, m4/sys_time_h.m4,
      m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/tempname.m4, m4/time_h.m4,
      m4/unistd_h.m4, m4/vasnprintf.m4, m4/vsnprintf.m4, m4/warn-on-use.m4,
      m4/wchar_h.m4, m4/wchar_t.m4, m4/wctype_h.m4, m4/wint_t.m4,
      m4/xalloc.m4, m4/xsize.m4: Update.
      * lib/cdefs.h, lib/glthread/lock.c, lib/glthread/lock.h,
      lib/glthread/threadlib.c, lib/libc-config.h, lib/mkdir.c,
      lib/windows-initguard.h, lib/windows-mutex.c, lib/windows-mutex.h,
      lib/windows-once.c, lib/windows-once.h, lib/windows-recmutex.c,
      lib/windows-recmutex.h, lib/windows-rwlock.c, lib/windows-rwlock.h,
      m4/host-cpu-c-abi.m4, m4/__inline.m4, m4/lib-ld.m4, m4/lib-link.m4,
      m4/lib-prefix.m4, m4/lock.m4, m4/mkdir.m4,
      m4/pthread_rwlock_rdlock.m4, m4/std-gnu11.m4, m4/threadlib.m4,
      tools/config.rpath: New files.
      8868bc67
  10. 27 Aug, 2019 1 commit
  11. 26 Aug, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      Upgrade parsers to Bison >= 3.0 · b9808144
      Alexandre Duret-Lutz authored
      Bison 3.0 was released in 2013, and the current Debian stable (buster)
      has version 3.3.2.
      
      * m4/bison.m4: Remove -Wno-precedence and -Wno-empty-rule, keep
      -Wno-deprecated just to protect from future deprecation warnings that
      would be interpreted as errors.
      * spot/parseaut/parseaut.yy, spot/parsetl/parsetl.yy: Use %empty
      rules, prefer %precedence over %nonassoc, update %error-versbose and
      %name-prefix to their more modern equivalent.
      * spot/misc/trival.hh (maybe): Mark this function as noexcept to
      please the compiler while compiling the parsers.
      b9808144
  12. 30 Jul, 2019 3 commits