1. 04 Sep, 2021 1 commit
  2. 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
  3. 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
  4. 08 Nov, 2020 2 commits
  5. 23 Sep, 2020 1 commit
  6. 10 Sep, 2020 1 commit
  7. 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
  8. 13 Jul, 2020 1 commit
  9. 10 Jun, 2020 2 commits
  10. 09 Jun, 2020 1 commit
  11. 04 Jun, 2020 1 commit
  12. 02 Mar, 2020 1 commit
  13. 14 Feb, 2019 1 commit
    • Clément Gillard's avatar
      Several typos · 4ecd066c
      Clément Gillard authored
      * 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
  14. 26 Sep, 2018 1 commit
  15. 11 Aug, 2018 1 commit
  16. 02 Aug, 2018 2 commits
  17. 23 Jul, 2018 1 commit
  18. 09 Jul, 2018 1 commit
  19. 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
  20. 23 Feb, 2018 2 commits
  21. 23 Nov, 2017 1 commit
  22. 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
  23. 03 Oct, 2017 2 commits
  24. 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
  25. 28 Mar, 2017 1 commit
  26. 16 Feb, 2017 1 commit
  27. 06 Feb, 2017 1 commit
  28. 01 Feb, 2017 2 commits
  29. 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
  30. 26 Jul, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      org: document explicit vs. on-the-fly · da464d81
      Alexandre Duret-Lutz authored
      * doc/org/tut50.org: New file.
      * doc/org/tut.org: Add it.
      * NEWS: Mention it.
      * doc/Makefile.am: Add tut50.org, and download plantuml.jar when needed.
      * doc/org/.dir-locals.el.in, doc/org/init.el.in: Activate plantum.
      * HACKING: Mention the Java dependency.
      da464d81
  31. 24 Jul, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      use SPOT_ASSERT instead of assert · 20cf43b3
      Alexandre Duret-Lutz authored
      For #184.
      
      * spot/graph/graph.hh, spot/kripke/kripkegraph.hh,
      spot/misc/bitvect.hh, spot/misc/common.hh, spot/misc/fixpool.hh,
      spot/misc/mspool.hh, spot/misc/timer.hh, spot/tl/formula.hh,
      spot/twa/acc.hh, spot/twa/taatgba.hh, spot/twa/twa.hh,
      spot/twa/twagraph.hh, spot/twaalgos/emptiness_stats.hh,
      spot/twaalgos/mask.hh, spot/twaalgos/ndfs_result.hxx,
      spot/twaalgos/sccinfo.hh, spot/twaalgos/translate.hh: Replace
      assert() by SPOT_ASSERT(), or an exception, or nothing, depending
      on the case.
      * tests/sanity/style.test: Flag all asserts in headers.
      * HACKING: Discuss assertions.
      20cf43b3
  32. 22 Apr, 2016 2 commits