1. 23 Sep, 2022 1 commit
    • Alexandre Duret-Lutz's avatar
      update gitlab references · 51caa558
      Alexandre Duret-Lutz authored
      As LRDE is being renamed LRE, gitlab is one of the first URL to
      migrate.  The old URL is still supported, but we want to only use the
      new one eventually.
      
      * .dir-locals.el, .gitlab-ci.yml, HACKING, NEWS, doc/org/concepts.org,
      doc/org/install.org, doc/org/setup.org, elisp/Makefile.am,
      elisp/hoa-mode.el, tests/ltsmin/README: Update to the new gitlab URL.
      51caa558
  2. 28 Mar, 2022 1 commit
    • Alexandre Duret-Lutz's avatar
      parsetl: speedup parsing of n-ary operators with many operands · 9c6a0989
      Alexandre Duret-Lutz authored
      Issue #500, reported by Yann Thierry-Mieg.
      
      * spot/parsetl/parsetl.yy, spot/parsetl/scantl.ll: Use variant
      to store a new pnode objects that delays the construction of n-ary
      operators.
      * spot/parsetl/Makefile.am: Do not distribute stack.hh anymore.
      * spot/tl/formula.cc: Fix detection of overflow in Star and FStar.
      * HACKING: Update Bison requirements to 3.3.
      * tests/core/500.test: New test case.
      * tests/Makefile.am: Add it.
      * tests/core/ltl2tgba2.test, tests/core/ltlsynt.test,
      tests/core/tostring.test: Adjust to new expected order.
      * NEWS: Mention the change.
      9c6a0989
  3. 07 Mar, 2022 1 commit
    • Alexandre Duret-Lutz's avatar
      tests: replace all "assert" by unittest assertions · 530cf7ca
      Alexandre Duret-Lutz authored
      If the assert fails because of a comparison, it is useful that the
      test suite log contains a comparison of these values.
      unittest.assertEqual() and friends do that for us.
      
      * HACKING: Add a section about Python tests.
      * tests/sanity/style.test: Forbid the use of "assert" in
      Python tests.
      * tests/python/298.py, tests/python/341.py, tests/python/471.py,
      tests/python/accparse2.py, tests/python/aiger.py,
      tests/python/aliases.py, tests/python/alternating.py,
      tests/python/bdddict.py, tests/python/bdditer.py,
      tests/python/bugdet.py, tests/python/complement_semidet.py,
      tests/python/declenv.py, tests/python/decompose_scc.py,
      tests/python/det.py, tests/python/dualize.py, tests/python/ecfalse.py,
      tests/python/except.py, tests/python/game.py, tests/python/gen.py,
      tests/python/genem.py, tests/python/implies.py,
      tests/python/intrun.py, tests/python/kripke.py,
      tests/python/langmap.py, tests/python/ltl2tgba.py,
      tests/python/ltlf.py, tests/python/ltlparse.py,
      tests/python/ltlsimple.py, tests/python/mealy.py,
      tests/python/merge.py, tests/python/mergedge.py,
      tests/python/misc-ec.py, tests/python/optionmap.py,
      tests/python/origstate.py, tests/python/otfcrash.py,
      tests/python/parity.py, tests/python/parsetgba.py,
      tests/python/pdegen.py, tests/python/prodexpt.py,
      tests/python/randgen.py, tests/python/relabel.py,
      tests/python/remfin.py, tests/python/removeap.py,
      tests/python/rs_like.py, tests/python/satmin.py,
      tests/python/sbacc.py, tests/python/sccfilter.py,
      tests/python/sccinfo.py, tests/python/sccsplit.py,
      tests/python/semidet.py, tests/python/setacc.py,
      tests/python/setxor.py, tests/python/simplacc.py,
      tests/python/simstate.py, tests/python/sonf.py, tests/python/split.py,
      tests/python/streett_totgba.py, tests/python/streett_totgba2.py,
      tests/python/stutter.py, tests/python/sum.py,
      tests/python/synthesis.py, tests/python/toparity.py,
      tests/python/toweak.py, tests/python/tra2tba.py,
      tests/python/trival.py, tests/python/twagraph.py,
      tests/python/zlktree.py: Replace all occurrences of "assert" by calls
      to unittest.TestCase methods.
      530cf7ca
  4. 16 Nov, 2021 1 commit
  5. 04 Sep, 2021 1 commit
  6. 18 Jan, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      require Autoconf 2.69 for building from git · 7efdd497
      Alexandre Duret-Lutz authored
      Part of issue #447.
      
      Autoconf 2.69 was released in 2012, so it now widely available.  The
      recent release of 2.70 is obsoleting some constructs, so it will be
      easier on us if we do not have too many versions to support.
      
      * HACKING, configure.ac: Require Autoconf 2.69.
      7efdd497
  7. 12 Jan, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      require Autoconf 2.69 for building from git · e497ee26
      Alexandre Duret-Lutz authored
      Part of issue #447.
      
      Autoconf 2.69 was released in 2012, so it now widely available.  The
      recent release of 2.70 is obsoleting some constructs, so it will be
      easier on us if we do not have too many versions to support.
      
      * HACKING, configure.ac: Require Autoconf 2.69.
      e497ee26
  8. 08 Nov, 2020 2 commits
  9. 23 Sep, 2020 1 commit
  10. 10 Sep, 2020 1 commit
  11. 16 Jul, 2020 1 commit
    • Alexandre Duret-Lutz's avatar
      build in C++17 mode by default · 4f230976
      Alexandre Duret-Lutz authored
      * configure.ac: Activate C++17, and replace --enable-c++17 by
      --enable-c++20.
      * NEWS: Mention the news.
      * .gitlab-ci.yml: Use C++20 for the former C++17 builds.
      * HACKING, README, doc/org/compile.org, doc/org/concepts.org,
      doc/org/index.org, doc/org/install.org, doc/org/tut.org,
      doc/org/upgrade2.org, spot/misc/escape.hh: Adjust mentions
      of C++14.
      4f230976
  12. 13 Jul, 2020 1 commit
  13. 10 Jun, 2020 2 commits
  14. 09 Jun, 2020 1 commit
  15. 04 Jun, 2020 1 commit
  16. 02 Mar, 2020 1 commit
  17. 14 Feb, 2019 1 commit
    • Clément Gillard's avatar
      Several typos · 4ecd066c
      Clément Gillard authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * HACKING: Missing "to", extraneous 's'.
      * spot/misc/timer.hh: Extraneous space.
      * spot/twa/acc.hh: Extraneous 's', typos.
      * spot/twaalgos/genem.hh: Typo.
      * spot/twaalgos/sccinfo.cc: Fix indentation.
      * spot/twaalgos/sccinfo.hh: Missing 's'.
      * tests/python/acc_cond.ipynb: Extraneous 'e', missing comma.
      * tests/python/decompose.ipynb: Extraneous 't'.
      * tests/python/ltsmin-dve.ipynb: Extraneous verb.
      4ecd066c
  18. 26 Sep, 2018 1 commit
  19. 11 Aug, 2018 1 commit
  20. 02 Aug, 2018 2 commits
  21. 23 Jul, 2018 1 commit
  22. 09 Jul, 2018 1 commit
  23. 07 Apr, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      org: adjust to org-mode 9.1 · 99876048
      Alexandre Duret-Lutz authored
      This is needed so that SVG files are included as an <object...> rather
      than as an <img...>, which in turn is needed to ensure SVG tooltips
      will work.  We do not explicitly require org-mode 9.1, but we install
      it if it is not present.
      
      * HACKING: Mention the requirement.
      * doc/org/.dir-locals.el.in, doc/org/init.el.in, doc/org/spot.css:
      Adjust to org-mode 9.1.
      * doc/Makefile.am: Run emacs with the site-lisp libraries, in
      case it contains a more recent org-mode.
      * elisp/ob-dot.el: Delete, this was a work around older versions.
      * elisp/Makefile.am: Adjust.
      99876048
  24. 23 Feb, 2018 2 commits
  25. 23 Nov, 2017 1 commit
  26. 22 Nov, 2017 2 commits
    • Alexandre Duret-Lutz's avatar
      doc: implement --enable-doxygen and do not distribute the doc · 246b5d8f
      Alexandre Duret-Lutz authored
      Fixes #299.
      
      * configure.ac, doc/Makefile.am: Adjust.
      * NEWS, HACKING, README: Document the change.
      * doc/dot.in: Delete, not used anymore.
      * doc/Doxyfile.in: Adjust to not look for dot.
      * debian/rules: Use --enable-doxygen.
      246b5d8f
    • Alexandre Duret-Lutz's avatar
      org: convert all images to svg · 61602a3b
      Alexandre Duret-Lutz authored
      Suggested in #299.
      
      * doc/org/autfilt.org, doc/org/concepts.org, doc/org/dstar2tgba.org,
      doc/org/genaut.org, doc/org/hierarchy.org, doc/org/hoa.org,
      doc/org/ltl2tgba.org, doc/org/ltl2tgta.org, doc/org/ltlcross.org,
      doc/org/oaut.org, doc/org/randaut.org, doc/org/satmin.org,
      doc/org/tut11.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: Adjust all dot outputs to produce svg.
      * doc/org/arch.tex, doc/org/hierarchy.tex, doc/org/satmin.tex: Adjust
      to produce a pdf with 12pt text.
      * doc/Makefile.am: Adjust the generation of arch.svg, hierarchy.svg,
      and satmin.svg: From above.
      * doc/org/.dir-locals.el.in, doc/org/init.el.in: Adjust dot arguments
      to produce svg with 12pt text (the default was 14pt).
      * doc/org/spot.css: Use Lato as the main font for consistency with
      automata.
      * HACKING: pdf2svg is now required to build the doc.
      61602a3b
  27. 03 Oct, 2017 2 commits
  28. 22 Aug, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      switch to C++14 compilation · f5dce597
      Alexandre Duret-Lutz authored
      * configure.ac: Compile in C++14 by default and rename
      --enable-c++14 as c++17.
      * doc/org/compile.org, doc/org/concepts.org, doc/org/index.org,
      doc/org/install.org, doc/org/tut.org, doc/org/upgrade2.org, HACKING,
      NEWS, README: Adjust all mentions of C++11.
      * spot/twaalgos/stats.hh: Use std::make_unique.
      f5dce597
  29. 28 Mar, 2017 1 commit
  30. 16 Feb, 2017 1 commit
  31. 06 Feb, 2017 1 commit
  32. 01 Feb, 2017 2 commits
  33. 07 Oct, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      introduce SPOT_FALLTHROUGH to cope with -Wimplicit-fallthrough · a5d6aa25
      Alexandre Duret-Lutz authored
      * NEWS: Mention the fix.
      * HACKING: Mention the new macro.
      * spot/misc/common.hh (SPOT_FALLTHROUGH): Add the macro.
      * bin/randltl.cc, spot/misc/escape.cc, spot/tl/mutation.cc,
      spot/tl/print.cc, spot/tl/simplify.hh, spot/tl/snf.cc, spot/twa/acc.cc,
      spot/twaalgos/ltl2taa.cc, spot/twaalgos/ltl2tgba_fm.cc,
      spot/twaalgos/sepsets.cc, spot/twaalgos/translate.cc: Use it.
      a5d6aa25