1. 17 Aug, 2017 5 commits
  2. 09 Aug, 2017 2 commits
  3. 08 Aug, 2017 3 commits
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      59c0f082
    • Alexandre Duret-Lutz's avatar
      gnulib: upgrade to today's version · 80d50c56
      Alexandre Duret-Lutz authored
      * tools/snippet/_Noreturn.h, tools/snippet/c++defs.h,
      tools/snippet/arg-nonnull.h, tools/snippet/warn-on-use.h: Rename to...
      * lib/_Noreturn.h, lib/c++defs.h, lib/arg-nonnull.h,
      lib/warn-on-use.h: ... these.
      * lib/filename.h, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h,
      lib/localtime-buffer.c, lib/localtime-buffer.h, lib/malloca.c,
      lib/malloca.h, lib/malloca.valgrind, lib/stat-w32.c, lib/stat-w32.h,
      m4/eealloc.m4, m4/localtime-buffer.m4, m4/malloca.m4: New files.
      * lib/argp-help.c, lib/argp-parse.c, lib/error.c, lib/float.in.h,
      lib/getopt1.c, lib/getopt.c, lib/getopt.in.h, lib/getopt_int.h,
      lib/gettext.h, lib/gettimeofday.c, lib/intprops.h, lib/isatty.c,
      lib/limits.in.h, lib/localcharset.c, lib/Makefile.am, lib/mbrtowc.c,
      lib/mbsinit.c, lib/msvc-nothrow.c, lib/quotearg.c, lib/stat.c,
      lib/stdalign.in.h, lib/stdint.in.h, lib/string.in.h,
      lib/sys_stat.in.h, lib/sys_types.in.h, lib/tempname.c, lib/time.in.h,
      lib/unistd.in.h, lib/vasnprintf.c, lib/wchar.in.h, lib/wctype.in.h,
      lib/xalloc.h, lib/xalloc-oversized.h, m4/fcntl-o.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/gnulib-common.m4,
      m4/gnulib-comp.m4, m4/include_next.m4, m4/largefile.m4, m4/lstat.m4,
      m4/mbrtowc.m4, m4/memchr.m4, m4/mkstemp.m4, m4/printf.m4, m4/sleep.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdint.m4, m4/strerror.m4,
      m4/string_h.m4, m4/sys_stat_h.m4, m4/sys_time_h.m4, m4/sys_types_h.m4,
      m4/time_h.m4, m4/unistd_h.m4, m4/wchar_h.m4, m4/wctype_h.m4,
      m4/wint_t.m4: Update.
      80d50c56
  4. 04 Aug, 2017 4 commits
    • Alexandre Duret-Lutz's avatar
      typos in NEWS · aa8cf6ac
      Alexandre Duret-Lutz authored
      * NEWS: Fix them.
      aa8cf6ac
    • Alexandre Duret-Lutz's avatar
      fix error message in exception · 55113ed1
      Alexandre Duret-Lutz authored
      * spot/twaalgos/alternation.cc: Here.
      55113ed1
    • Alexandre Duret-Lutz's avatar
      stats: allow counting complete SCCs · 1cf5778f
      Alexandre Duret-Lutz authored
      * bin/common_aoutput.cc, NEWS: Update documentation.
      * spot/twaalgos/stats.cc: Honor c and C.
      * tests/core/alternating.test: Test it.
      1cf5778f
    • Alexandre Duret-Lutz's avatar
      is_weak_scc and friend: make them work for alternating automata · 223b0c6a
      Alexandre Duret-Lutz authored
      * spot/twaalgos/isweakscc.cc, spot/twaalgos/isweakscc.hh,
      spot/twaalgos/mask.cc, spot/twaalgos/mask.hh: Adjust to
      work with alternating automata.
      * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh
      (determine_unknown_acceptance): Do not complain about
      not supporting alternating automata if there is not
      indeterminate acceptance.
      * spot/twaalgos/stats.cc: Fix a bug were %[iw]c was
      read as %[iww]c.
      * tests/core/alternating.test: Test is_inherently_weak_scc() and
      is_weak_scc().
      * python/spot/impl.i: Add missing python bindings
      for isweakscc.hh.
      223b0c6a
  5. 03 Aug, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      dot: extend the palette from 9 to 16 colors · e041db61
      Alexandre Duret-Lutz authored
      Let's close #212 even if this does not cover the 32 sets.
      
      * spot/twaalgos/dot.cc: Change the palette.
      * doc/org/autfilt.org, NEWS: Adjust documentation.
      * tests/core/alternating.test, tests/core/readsave.test,
      tests/core/tgbagraph.test, tests/python/_altscc.ipynb,
      tests/python/alternation.ipynb, tests/python/atva16-fig2a.ipynb,
      tests/python/automata-io.ipynb, tests/python/automata.ipynb,
      tests/python/decompose.ipynb, tests/python/gen.ipynb,
      tests/python/highlighting.ipynb, tests/python/ltsmin-dve.ipynb,
      tests/python/piperead.ipynb, tests/python/product.ipynb,
      tests/python/randaut.ipynb, tests/python/word.ipynb: Adjust
      test cases.
      e041db61
  6. 02 Aug, 2017 2 commits
  7. 01 Aug, 2017 2 commits
  8. 31 Jul, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      hoa: fix I/O of determinism · d3607a7c
      Alexandre Duret-Lutz authored
      Fixes #212.
      
      * spot/parseaut/parseaut.yy, spot/twaalgos/hoa.cc: Recognize
      exist-branch, and adjust printer to the 1.1 semantics.
      * tests/core/alternating.test, tests/core/complete.test,
      tests/core/det.test, tests/core/explsum.test,
      tests/core/parseaut.test, tests/core/readsave.test,
      tests/core/sbacc.test, tests/core/tgbagraph.test,
      tests/python/alternating.py, tests/python/dualize.py: Adjust test
      cases.
      * NEWS: Mention the change.
      d3607a7c
  9. 28 Jul, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      bin: introduce autcross · 0cf250d8
      Alexandre Duret-Lutz authored
      Fixes #252.
      
      * NEWS: Mention it.
      * bin/autcross.cc, bin/man/autcross.x, doc/org/autcross.org: New
      files.
      * bin/Makefile.am, bin/man/Makefile.am, doc/org/tools.org,
      doc/Makefile.am: Add them.
      * bin/autfilt.cc: Use is_universal() instead of is_deterministic().
      * bin/common_hoaread.hh, bin/common_trans.cc, bin/common_trans.hh,
      bin/ltlcross.cc, bin/ltldo.cc: Factor some bits common between
      ltlcross, ltldo and autcross.
      * tests/core/autcross.test, tests/core/autcross2.test: New files.
      * tests/Makefile.am: Add them.
      * tests/core/dra2dba.test, tests/core/sbacc.test,
      tests/core/streett.test: Use autcross.
      0cf250d8
  10. 27 Jul, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      parseaut: make the scanner reentrant · b9fff6a4
      Alexandre Duret-Lutz authored
      * spot/parseaut/parseaut.yy, spot/parseaut/parsedecl.hh,
      spot/parseaut/public.hh, spot/parseaut/scanaut.ll: Use a reentrant
      scanner, so that we can now parse multiple automaton streams at the
      same time.  This is needed for the future autcross, which is going to
      read several individual automata produced by different tools, while
      reading the stream of automata to process.
      b9fff6a4
  11. 26 Jul, 2017 4 commits
  12. 25 Jul, 2017 3 commits
    • Alexandre Duret-Lutz's avatar
      parseaut: use prop_universal() instead of prop_deterministic() · ff4f4ee4
      Alexandre Duret-Lutz authored
      * spot/parseaut/parseaut.yy: Here.
      ff4f4ee4
    • Alexandre Duret-Lutz's avatar
      acc: make &= and |= symmetrical · abe2c08b
      Alexandre Duret-Lutz authored
      Operator &= used to always move Fin to the front, it does not anymore.
      The only thing it does now is to merge Inf(x)&Inf(y) as Inf({x,y}).
      Operator |= is now symmetrical and merges Fin()s.
      
      Fixes #253.
      
      * spot/twa/acc.cc, spot/twa/acc.hh: Simplify &= and make |= symmetrical.
      * spot/twaalgos/cleanacc.cc: Fix conjunction order.
      * tests/core/acc.test, tests/core/acc2.test, tests/core/parseaut.test,
      tests/core/readsave.test, tests/core/satmin2.test,
      tests/core/sccdot.test, tests/python/acc_cond.ipynb,
      tests/python/accparse.ipynb, tests/python/automata.ipynb,
      tests/python/product.ipynb, tests/python/randaut.ipynb: Adjust test
      cases.
      abe2c08b
    • Alexandre Duret-Lutz's avatar
      deprecate copy() in favor of make_twa_graph() · 8e685e00
      Alexandre Duret-Lutz authored
      Fixes #258.
      
      * spot/twaalgos/copy.cc: Delete, and move the code...
      * spot/twa/twagraph.cc: ... in some anonymous namespace here.
      * spot/twa/twagraph.hh: Adjust the make_twa_graph() overload.
      * spot/twaalgos/copy.hh, NEWS: Mark copy() as deprecated and redirect
      to make_twa_graph().
      * doc/org/upgrade2.org, doc/org/tut51.org, python/spot/impl.i,
      spot/twaalgos/dot.cc, spot/twaalgos/langmap.cc, tests/core/ikwiad.cc:
      Adjust callers.
      * spot/twaalgos/Makefile.am: Remove copy.cc.
      8e685e00
  13. 24 Jul, 2017 5 commits
  14. 20 Jul, 2017 1 commit
  15. 19 Jul, 2017 1 commit
    • Thomas Medioni's avatar
      Implement to_weak_alternating() which weakifies tgbas · c8889e65
      Thomas Medioni authored
      * NEWS: mention the modification.
      * python/spot/impl.i: makes to_weak_alternating visible from python
      * spot/twaalgos/Makefile.am, spot/twaalgos/toweak.cc,
        spot/twaalgos/toweak.hh: Implements to_weak_alternating.
      * tests/Makefile.am, tests/python/toweak.py: Test the results of
        to_weak_alternating.
      c8889e65
  16. 17 Jul, 2017 4 commits