1. 13 Sep, 2019 2 commits
  2. 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
  3. 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
  4. 27 Aug, 2019 1 commit
  5. 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
  6. 30 Jul, 2019 4 commits
  7. 18 Jul, 2019 2 commits
  8. 17 Jul, 2019 4 commits
    • Alexandre Duret-Lutz's avatar
      ltlcross, autcross: add --quiet/-q option · 6f37ff8e
      Alexandre Duret-Lutz authored
      * bin/autcross.cc, bin/ltlcross.cc: Implement it.
      * doc/org/autcross.org, doc/org/ltlcross.org, NEWS: Document it.
      * doc/org/spot.css: Add colors for Makefile snippets.
      * tests/core/autcross4.test, tests/core/ltlcross3.test,
      tests/core/ltlcrossce.test: Add test cases.
      6f37ff8e
    • Alexandre Duret-Lutz's avatar
      allow gcc-snapshot failures because of GCC bug 91184 · 6a714382
      Alexandre Duret-Lutz authored
      https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91184
      
      * .gitlab-ci.yml (debian-gcc-snapshot): Add allow_failure=true.
      6a714382
    • Alexandre Duret-Lutz's avatar
      org: work around emacs/gnutls interaction bug · 738515d7
      Alexandre Duret-Lutz authored
      * doc/org/init.el.in: Set gnutls-algorithm-priority when needed.
      * NEWS: Mention the issue.
      738515d7
    • Alexandre Duret-Lutz's avatar
      forbid the use of std::endl on std::cerr · 09c93a3a
      Alexandre Duret-Lutz authored
      std::cerr will flush after each operator<< by default, so it's simpler
      to use \n instead of std::endl, especially if we can merge \n into the
      previous string.  Ideally we should prefer \n for std::cout as well,
      but there are reasonable cases where we want to call std::endl there,
      so it's hard to enforce.
      
      * tests/sanity/style.test: Diagnose occurrences of cerr.*<<.*endl.
      * bin/autcross.cc, bin/autfilt.cc, bin/ltlcross.cc, bin/ltlsynt.cc,
      spot/tl/formula.cc, spot/twa/bdddict.cc, tests/core/checkpsl.cc,
      tests/core/checkta.cc, tests/core/consterm.cc, tests/core/emptchk.cc,
      tests/core/equalsf.cc, tests/core/ikwiad.cc, tests/core/kind.cc,
      tests/core/length.cc, tests/core/ltlrel.cc, tests/core/parity.cc,
      tests/core/randtgba.cc, tests/core/reduc.cc, tests/core/syntimpl.cc,
      tests/ltsmin/modelcheck.cc: Fix them.
      09c93a3a
  9. 12 Jul, 2019 2 commits
  10. 11 Jul, 2019 1 commit
  11. 10 Jul, 2019 3 commits
  12. 09 Jul, 2019 6 commits
  13. 05 Jul, 2019 3 commits
    • Alexandre Duret-Lutz's avatar
      * NEWS: Fix some typos. · d244ff54
      Alexandre Duret-Lutz authored
      d244ff54
    • Alexandre Duret-Lutz's avatar
      deprecate spot::acc_cond::format() · bfe0ada6
      Alexandre Duret-Lutz authored
      * NEWS: Mention it.
      * spot/twa/acc.hh (spot::acc_cond::format): Deprecate.
      (spot::acc_cond::mark_t::as_string): New function.
      * spot/taalgos/dot.cc: Use mark_t::as_string().
      * spot/priv/satcommon.cc, spot/priv/satcommon.hh,
      spot/twaalgos/dtwasat.cc, spot/twaalgos/emptiness.cc,
      tests/core/acc.cc, tests/core/acc.test: Adjust to use << directly.
      bfe0ada6
    • Alexandre Duret-Lutz's avatar
      python: cleanup with autopep8 · 822fe778
      Alexandre Duret-Lutz authored
      * tests/python/341.py, tests/python/alarm.py, tests/python/bdddict.py,
      tests/python/bddnqueen.py, tests/python/bugdet.py,
      tests/python/dualize.py, tests/python/except.py, tests/python/gen.py,
      tests/python/genem.py, tests/python/implies.py,
      tests/python/interdep.py, tests/python/ipnbdoctest.py,
      tests/python/kripke.py, tests/python/ltl2tgba.py,
      tests/python/ltlf.py, tests/python/ltlparse.py,
      tests/python/ltlsimple.py, tests/python/relabel.py,
      tests/python/rs_like.py, tests/python/sccsplit.py,
      tests/python/semidet.py, tests/python/setacc.py,
      tests/python/setxor.py, tests/python/split.py,
      tests/python/streett_totgba.py, tests/python/stutter.py,
      tests/python/sum.py, tests/python/toparity.py, tests/python/toweak.py,
      tests/python/trival.py, python/spot/__init__.py, python/spot/aux.py,
      python/spot/jupyter.py: Reformat with autopep8.
      
      fixup! * spot/tl/simplify.cc: Fix typos in tracing code.
      822fe778
  14. 30 Jun, 2019 2 commits
  15. 27 Jun, 2019 1 commit
  16. 22 Jun, 2019 2 commits
  17. 21 Jun, 2019 2 commits
  18. 20 Jun, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      simulation: improve merging of transiant-SCCs · f3e57901
      Alexandre Duret-Lutz authored
      * spot/twaalgos/simulation.cc: Code this.
      * tests/core/det.test, tests/core/dra2dba.test,
      tests/core/satmin.test, tests/core/sim3.test,
      tests/python/decompose.ipynb, tests/python/dualize.py: Adjust test
      cases.
      * NEWS: Mention the optimization.
      f3e57901
  19. 19 Jun, 2019 1 commit