1. 31 Jul, 2020 1 commit
  2. 29 Jul, 2020 4 commits
  3. 28 Jul, 2020 4 commits
    • Alexandre Duret-Lutz's avatar
      improve acceptance simplifications using useless colors · 0c4b7016
      Alexandre Duret-Lutz authored
      This fixes issue #418.
      
      * spot/twa/acc.cc,
      spot/twa/acc.hh (acc_cond::acc_code::useless_colors_patterns): New
      method to detect patterns of colors allowing other colors to be added
      or removed at will.
      * spot/twaalgos/cleanacc.cc (simplify_acceptance_here): Use the above
      patterns to remove some useless colors from transitions and hope that
      this can help simplify the acceptance condition.
      * spot/twaalgos/degen.cc (propagate_marks_vector): Use the pattern to
      add more colors.
      * tests/core/ltl2tgba2.test: Add the test case from issue #418.
      * tests/core/ltl2dstar4.test, tests/core/satmin3.test,
      tests/core/sccdot.test, tests/core/sim3.test,
      tests/python/automata.ipynb, tests/python/decompose.ipynb,
      tests/python/merge.py, tests/python/pdegen.py, tests/python/remfin.py,
      tests/python/toparity.py, tests/python/tra2tba.py: Adjust all test
      cases.
      * NEWS: Mention this new feature.
      0c4b7016
    • Alexandre Duret-Lutz's avatar
      c341a3ca
    • Alexandre Duret-Lutz's avatar
      cleanacc: merge algorithms dealing with included and identical sets · 25cb7651
      Alexandre Duret-Lutz authored
      * spot/twaalgos/cleanacc.cc (merge_identical_marks_here, merge_mark,
      included_marks): Fuse these into ...
      (simplify_included_marks_here): ... this new function.
      * NEWS: Mention the fix of issue #406.
      25cb7651
    • Alexandre Duret-Lutz's avatar
      argp: fix handling of very long options in --help · a804f964
      Alexandre Duret-Lutz authored
      * lib/argp-help.c (hol_entry_help): Handle cases with option
      description is larger than RMARGIN.
      a804f964
  4. 27 Jul, 2020 4 commits
  5. 25 Jul, 2020 1 commit
  6. 24 Jul, 2020 3 commits
  7. 23 Jul, 2020 1 commit
  8. 22 Jul, 2020 5 commits
  9. 21 Jul, 2020 9 commits
    • Alexandre Duret-Lutz's avatar
      org: run a spell checker on the documentation · cc498e70
      Alexandre Duret-Lutz authored
      * doc/org/autcross.org, doc/org/autfilt.org, doc/org/citing.org,
      doc/org/compile.org, doc/org/concepts.org, doc/org/csv.org,
      doc/org/dstar2tgba.org, doc/org/genaut.org, doc/org/genltl.org,
      doc/org/hierarchy.org, doc/org/hoa.org, doc/org/index.org,
      doc/org/install.org, doc/org/ltl2tgba.org, doc/org/ltl2tgta.org,
      doc/org/ltlcross.org, doc/org/ltlfilt.org, doc/org/ltlgrind.org,
      doc/org/ltlsynt.org, doc/org/oaut.org, doc/org/randaut.org,
      doc/org/randltl.org, doc/org/satmin.org, doc/org/tut.org,
      doc/org/tut01.org, doc/org/tut02.org, doc/org/tut03.org,
      doc/org/tut04.org, doc/org/tut10.org, doc/org/tut11.org,
      doc/org/tut12.org, doc/org/tut20.org, doc/org/tut21.org,
      doc/org/tut22.org, doc/org/tut23.org, doc/org/tut24.org,
      doc/org/tut30.org, doc/org/tut31.org, doc/org/tut50.org,
      doc/org/tut51.org, doc/org/tut52.org, doc/org/tut90.org,
      doc/org/upgrade2.org: Run ispell-buffer on all these.
      * bin/autfilt.cc, python/spot/__init__.py: Fix typos in
      help texts noticed while spell-checking the org files.
      cc498e70
    • Alexandre Duret-Lutz's avatar
      org: fix python execution with in-tree source and Swig4 · 0342161b
      Alexandre Duret-Lutz authored
      * doc/org/.dir-locals.el.in, doc/org/init.el.in: Set the
      SPOT_UNINSTALLED envvar, as we already do in the test suite.
      0342161b
    • Alexandre Duret-Lutz's avatar
      ltlcross: completely fix #420 · d5f48864
      Alexandre Duret-Lutz authored
      Reported by Salomon Sickert.
      
      * bin/ltlcross.cc: Also call determinize_unknown_acceptance() for
      positive automata.
      * tests/core/ltlcross3.test: Add another test case.
      * NEWS: Mention the fix.
      d5f48864
    • Alexandre Duret-Lutz's avatar
      org: run a spell checker on the documentation · f3b8bf8e
      Alexandre Duret-Lutz authored
      * doc/org/autcross.org, doc/org/autfilt.org, doc/org/citing.org,
      doc/org/compile.org, doc/org/concepts.org, doc/org/csv.org,
      doc/org/dstar2tgba.org, doc/org/genaut.org, doc/org/genltl.org,
      doc/org/hierarchy.org, doc/org/hoa.org, doc/org/index.org,
      doc/org/install.org, doc/org/ltl2tgba.org, doc/org/ltl2tgta.org,
      doc/org/ltlcross.org, doc/org/ltlfilt.org, doc/org/ltlgrind.org,
      doc/org/ltlsynt.org, doc/org/oaut.org, doc/org/randaut.org,
      doc/org/randltl.org, doc/org/satmin.org, doc/org/tut.org,
      doc/org/tut01.org, doc/org/tut02.org, doc/org/tut03.org,
      doc/org/tut04.org, doc/org/tut10.org, doc/org/tut11.org,
      doc/org/tut12.org, doc/org/tut20.org, doc/org/tut21.org,
      doc/org/tut22.org, doc/org/tut23.org, doc/org/tut24.org,
      doc/org/tut30.org, doc/org/tut31.org, doc/org/tut50.org,
      doc/org/tut51.org, doc/org/tut52.org, doc/org/tut90.org,
      doc/org/upgrade2.org: Run ispell-buffer on all these.
      * bin/autfilt.cc, python/spot/__init__.py: Fix typos in
      help texts noticed while spell-checking the org files.
      f3b8bf8e
    • Alexandre Duret-Lutz's avatar
      org: fix python execution with in-tree source and Swig4 · 0fbc83e9
      Alexandre Duret-Lutz authored
      * doc/org/.dir-locals.el.in, doc/org/init.el.in: Set the
      SPOT_UNINSTALLED envvar, as we already do in the test suite.
      0fbc83e9
    • Alexandre Duret-Lutz's avatar
      ltlcross: completely fix #420 · 457e130e
      Alexandre Duret-Lutz authored
      Reported by Salomon Sickert.
      
      * bin/ltlcross.cc: Also call determinize_unknown_acceptance() for
      positive automata.
      * tests/core/ltlcross3.test: Add another test case.
      * NEWS: Mention the fix.
      457e130e
    • Alexandre Duret-Lutz's avatar
      Merge branch 'master' into next · 1a0c8a44
      Alexandre Duret-Lutz authored
      1a0c8a44
    • Alexandre Duret-Lutz's avatar
      d61d6570
    • Alexandre Duret-Lutz's avatar
      Release Spot 2.9.2 · 66a6fbdc
      Alexandre Duret-Lutz authored
      * configure.ac, NEWS, doc/org/setup.org: Set version to 2.9.2.
      66a6fbdc
  10. 20 Jul, 2020 4 commits
  11. 17 Jul, 2020 2 commits
    • Etienne Renault's avatar
      Fixes #419 · 4db6a342
      Etienne Renault authored
      * configure.ac: Here.
      4db6a342
    • Alexandre Duret-Lutz's avatar
      formula: make operator bool explicit · 9daa4e60
      Alexandre Duret-Lutz authored
      * spot/tl/formula.hh (formula::operator bool): Make it explicit.  When
      compiling in C++20 mode with g++ 10.1, this bool operator was used
      instead of the comparison operators while looking up a
      std::pair<formula,formula> in a hash map, causing many test suite
      failures.  This problem does not occur with clang++ 10.0, so it
      might just be a bug in g++ 10.1.  But having explicit operator bool
      is good practice anyway.
      9daa4e60
  12. 16 Jul, 2020 2 commits
    • Alexandre Duret-Lutz's avatar
      C++20: work around g++ 10.1 bug #95242 · a8959ecf
      Alexandre Duret-Lutz authored
      With GCC 10.1 all comparisons that default to the <=> C++20 comparison
      operator emit a spurious zero-as-null-pointer-constant warning, which
      is an error in our configuration.  This is due to an implementation
      choice in the libstdc++ library, so it also causes warning from
      clang++ 10.0 when using the same libstdc++ library.  A fix for GCC
      PR95242 was committed in g++ (not in libstdc++), so while g++ 10.2
      might be fixed, clang++ will need a similar fix.
      
      I've seen those failures on Arch linux with gcc 10.1.0-2 and clang
      10.0.0-3.  On Debian sid, g++ 10.1.0-4 seems to already include the
      fix.
      
      * m4/gccwarn.m4: Include a string comparison in the test code so that
      -Wzero-as-null-pointer-constant is not enabled if it would produce
      warnings on such statements.
      a8959ecf
    • Alexandre Duret-Lutz's avatar
      C++20: fix warnings reported by g++ 10.1 · 368acaad
      Alexandre Duret-Lutz authored
      * spot/tl/formula.hh (formula::operator bool): Mark as noexcept.
      * bin/common_trans.hh, bin/common_trans.cc: Use std::atomic instead of
      volatile.
      368acaad