1. 07 Sep, 2020 3 commits
  2. 03 Sep, 2020 1 commit
  3. 02 Sep, 2020 2 commits
  4. 03 Aug, 2020 12 commits
  5. 22 Jul, 2020 2 commits
  6. 21 Jul, 2020 5 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.
    • 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.
    • 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.
    • Alexandre Duret-Lutz's avatar
    • 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.
  7. 20 Jul, 2020 3 commits
  8. 15 Jul, 2020 4 commits
  9. 14 Jul, 2020 1 commit
  10. 13 Jul, 2020 7 commits
    • Alexandre Duret-Lutz's avatar
      run: fix reduce on automata with Fin · f2403c91
      Alexandre Duret-Lutz authored
      Reported by Florian Renkin.
      * spot/twaalgos/emptiness.cc (reduce): If the automaton uses Fin
      acceptance, check the reduced cycle and revert to the original cycle
      if necessary.
      * tests/python/intrun.py: New file.
      * tests/Makefile.am: Add it.
      * spot/twaalgos/emptiness.hh: Improve documentation.
    • Alexandre Duret-Lutz's avatar
      genem: replace one recursive call by a loop · 9caba8bf
      Alexandre Duret-Lutz authored
      * spot/twaalgos/genem.cc: In the spot29 implementation for the generic
      case, when Fin(fo)=true and Fin(fo)=false have to be tested
      separately, the second test can be done by a loop instead of a
      recursion, to avoid unnecessary processing of the acceptance
      condition.  Suggested by Jan Strejček.
    • Alexandre Duret-Lutz's avatar
      address a new g++-10 warnings · a3769dfd
      Alexandre Duret-Lutz authored
      * spot/twa/twa.hh (set_named_prop): Declare the lambda as noexcept.
      * spot/twaalgos/couvreurnew.cc (acss_states): Likewise.
    • Alexandre Duret-Lutz's avatar
      swig: search for swig4.0 · e20bae66
      Alexandre Duret-Lutz authored
      * configure.ac: Use swig4.0 when available.
      * HACKING: Update.
    • Alexandre Duret-Lutz's avatar
      ltldo: improve error messages · 4cfa2538
      Alexandre Duret-Lutz authored
      Use ltldo:... instead of error:... and warning:... and also improve
      the diagnostic displayed after a translation failure to mention the
      tool and formula.
      Incidentally, this fixes a spurious test case failure observed by
      Philipp Schlehuber on CentOS7.7 where glibc 2.17 is installed.  With
      this system, when posix_spawn() starts a binary that does not exist,
      it returns success and let the child die with exit code 127.  On more
      recent glibc, posix_spawn() manages to return execve()'s errno, as if
      the child had not been created.  We handle those two different ways to
      fail, but before this patch one used to print "error:..." and the
      other "ltldo:...".
      * bin/ltldo.cc: Display the program_name in error message.  Display
      the command name and formula on translation failure.
      * tests/core/ltldo.test: Adjust test case.
      * NEWS: Mention the fix.
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      sccinfo: fix doc · f16bc8a5
      Alexandre Duret-Lutz authored
      * spot/twaalgos/sccinfo.hh (scc_info_options::NONE): Fix doxygen doc.