1. 24 Sep, 2019 1 commit
  2. 23 Sep, 2019 1 commit
  3. 17 Jul, 2019 1 commit
  4. 26 Apr, 2019 1 commit
  5. 17 Apr, 2019 2 commits
  6. 16 Mar, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      org: improve Python formating · 8512a2d5
      Alexandre Duret-Lutz authored
      * doc/org/spot.css: Use bold for "def", "from", "import".
      * doc/org/init.el.in: Prevent tabs from being inserted when the code
      is indented before export.
      8512a2d5
  7. 25 Feb, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      org: improve Python formating · b5248f72
      Alexandre Duret-Lutz authored
      * doc/org/spot.css: Use bold for "def", "from", "import".
      * doc/org/init.el.in: Prevent tabs from being inserted when the code
      is indented before export.
      b5248f72
  8. 26 Sep, 2018 1 commit
  9. 11 Aug, 2018 1 commit
  10. 05 Jul, 2018 1 commit
  11. 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
  12. 22 Nov, 2017 1 commit
    • 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
  13. 22 Mar, 2017 1 commit
  14. 18 Mar, 2017 1 commit
  15. 02 Feb, 2017 1 commit
  16. 24 Dec, 2016 1 commit
  17. 10 Oct, 2016 1 commit
  18. 07 Oct, 2016 1 commit
  19. 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
  20. 10 May, 2016 2 commits
  21. 17 Feb, 2016 1 commit
  22. 12 Feb, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      fix paths mentioning buddy/src/.libs · 064ccd5c
      Alexandre Duret-Lutz authored
      Those had been incorrectly renamed to buddy/spot/.libs when we rename
      the main src/ directory into spot/.  This only affected the setting of
      DYLD_LIBRARY_PATH, that used to be needed on Darwin.
      
      * doc/org/.dir-locals.el.in, doc/org/init.el.in, python/ajax/spotcgi.in,
      tests/run.in: Fix the PATH.
      064ccd5c
  23. 05 Feb, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      dot: add option C(COLOR) · 77b0b5b3
      Alexandre Duret-Lutz authored
      This fixes the output gliches visible in the previous patches,
      where highlighting a state would remove its fill color.
      
      * spot/twaalgos/dot.cc, spot/taalgos/dot.cc: Implement option C(COLOR).
      * bin/common_aoutput.cc, doc/org/oaut.org: Document it.
      * doc/org/.dir-locals.el.in, doc/org/init.el.in,
      python/spot/__init__.py: Use it.
      * tests/python/automata-io.ipynb, tests/python/automata.ipynb,
      tests/python/highlighting.ipynb: Test it.
      * tests/core/readsave.test: Adjust.
      * NEWS: Mention recent changes.
      77b0b5b3
  24. 02 Feb, 2016 1 commit
  25. 18 Jan, 2016 1 commit
  26. 06 Jan, 2016 1 commit
  27. 25 Dec, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      rename wrap/python/ to python/ · 34c3c1ce
      Alexandre Duret-Lutz authored
      * wrap/python/: Rename to...
      * python/: ... this.
      * wrap/: Delete.
      * Makefile.am, README, configure.ac, debian/python3-spot.examples,
      debian/rules, doc/org/.dir-locals.el.in, doc/org/init.el.in,
      spot/sanity/ipynb.test: Adjust.
      34c3c1ce
  28. 04 Dec, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      rename src/ as spot/ and use include <spot/...> · f120dd32
      Alexandre Duret-Lutz authored
      * NEWS: Mention the change.
      * src/: Rename as ...
      * spot/: ... this, adjust all headers to include <spot/...> instead of
      "...", and adjust all Makefile.am to search headers from the top-level
      directory.
      * HACKING: Add conventions about #include.
      * spot/sanity/style.test: Add a few more grep to catch cases
      that do not follow these conventions.
      * .gitignore, Makefile.am, README, bench/stutter/Makefile.am,
      bench/stutter/stutter_invariance_formulas.cc,
      bench/stutter/stutter_invariance_randomgraph.cc, configure.ac,
      debian/rules, doc/Doxyfile.in, doc/Makefile.am,
      doc/org/.dir-locals.el.in, doc/org/g++wrap.in, doc/org/init.el.in,
      doc/org/tut01.org, doc/org/tut02.org, doc/org/tut03.org,
      doc/org/tut10.org, doc/org/tut20.org, doc/org/tut21.org,
      doc/org/tut22.org, doc/org/tut30.org, iface/ltsmin/Makefile.am,
      iface/ltsmin/kripke.test, iface/ltsmin/ltsmin.cc,
      iface/ltsmin/ltsmin.hh, iface/ltsmin/modelcheck.cc,
      wrap/python/Makefile.am, wrap/python/ajax/spotcgi.in,
      wrap/python/spot_impl.i, wrap/python/tests/ltl2tgba.py,
      wrap/python/tests/randgen.py, wrap/python/tests/run.in: Adjust.
      f120dd32
  29. 20 Nov, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: syntax-highlight the HOA outputs · 5aba246f
      Alexandre Duret-Lutz authored
      * elisp/hoa-mode.el, elisp/Makefile.am, elisp/README: New files.
      * debian/copyright, configure.ac, README, Makefile.am: Adjust.
      * doc/org/init.el.in: Adjust to load hoa-mode.el.
      * doc/org/spot.css: Add entries for HOA mode.
      * doc/org/hoa.org, doc/org/ltldo.org, doc/org/oaut.org,
      doc/org/tut20.org, doc/org/tut21.org, doc/org/tut22.org,
      doc/org/tut30.org: Make the HOA outputs as HOA.
      5aba246f
  30. 03 Oct, 2015 1 commit
  31. 07 Aug, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: cleanup css files · 659dfe95
      Alexandre Duret-Lutz authored
      * doc/org/syntax.css: Delete this useless file.
      * doc/org/spot.css: Cleanup.
      * doc/org/init.el.in, doc/org/.dir-locals.el.in: Only load spot.css.
      * doc/Makefile.am: Only distribute spot.css.
      659dfe95
  32. 22 Jun, 2015 1 commit
  33. 10 Jun, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: add a new code example · 60bd9dd6
      Alexandre Duret-Lutz authored
      This addresses on item of #14.
      
      * doc/org/tut20.org: New file.
      * doc/Makefile.am: Add it.
      * doc/org/tut.org: Link to it.
      * doc/org/.dir-locals.el.in, doc/org/init.el.in: Fix some PATH
      issues.
      60bd9dd6
  34. 03 Jun, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: add a first code example · 8de524ad
      Alexandre Duret-Lutz authored
      The difficulty is not the example, but setting up org-mode to allow
      Python and C++ example that use the local libraries, not those
      installed system-wide.
      
      * doc/org/.dir-locals.el: Rename as...
      * doc/org/.dir-locals.el.in: ... this, so we can easily define
      PYTHONPATH and other environment variables.
      * doc/org/init.el.in: Enable C++, and make sure but Python
      and C++ use the local libraries.
      * doc/org/g++wrap.in, doc/org/tut01.org: New files.
      * doc/Makefile.am, configure.ac: Adjust.
      * wrap/python/spot.py (to_str): Take a parenth argument.
      8de524ad
  35. 13 May, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      document -U · 332694a4
      Alexandre Duret-Lutz authored
      * doc/org/.dir-locals.el, doc/org/init.el.in: Use 'B' instead of 'b' for
      default Dot output.
      * doc/org/oaut.org: Adjust.
      * NEWS, doc/org/ltl2tgba.org: Document -U.
      * src/bin/common_post.cc, src/bin/ltl2tgba.cc: Fix location of help text
      for -U.
      332694a4
  36. 26 Mar, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: uses nice dot arrows · 8e6b35e5
      Alexandre Duret-Lutz authored
      Suggested by Akim Demaille.  Fixes #69.
      
      * doc/org/.dir-locals.el, doc/org/init.el.in,
      wrap/python/tests/automata.ipynb: Set arrowhead and arrowsize.
      * doc/org/autfilt.org, doc/org/dstar2tgba.org,
      doc/org/ltl2tgba.org, doc/org/oaut.org: Adjust.
      8e6b35e5
  37. 17 Mar, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      dotty: colored acceptance sets · 838bfb2a
      Alexandre Duret-Lutz authored
      This implement several new options for --dot in order to
      allow emptiness sets to be output as colored ⓿ or ❶...
      Also add a SPOT_DOTDEFAULT environment variable.
      
      * NEWS, src/bin/man/spot-x.x, src/bin/common_aoutput.cc,
      src/bin/dstar2tgba.cc: Document the new options.
      * doc/org/.dir-locals.el, doc/org/init.el.in: Setup
      SPOT_DOTEXTRA and SPOT_DOTDEFAULT for all documents.
      * doc/org/autfilt.org, doc/org/dstar2tgba.org, doc/org/ltl2tgba.org,
      doc/org/ltldo.org, doc/org/oaut.org, doc/org/randaut.org,
      doc/org/satmin.org: Adjust to this new setup.
      * src/misc/escape.cc, src/misc/escape.hh (escape_html): New function.
      * src/tgba/acc.cc, src/tgba/acc.hh (to_text, to_html): New method.
      * src/tgbaalgos/dotty.cc: Implement the new options.
      * src/tgbatest/readsave.test, wrap/python/tests/automata.ipynb: More
      tests.
      * wrap/python/spot.py: Make sure the default argument for
      dotty_reachable is None, so that SPOT_DOTDEFAULT is honored.
      838bfb2a
  38. 07 Jan, 2015 1 commit