1. 02 Feb, 2016 1 commit
  2. 18 Jan, 2016 1 commit
  3. 06 Jan, 2016 1 commit
  4. 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
  5. 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
  6. 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
  7. 03 Oct, 2015 1 commit
  8. 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
  9. 22 Jun, 2015 1 commit
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 07 Jan, 2015 1 commit
  16. 24 Oct, 2014 2 commits
  17. 29 May, 2014 1 commit
  18. 28 Apr, 2014 1 commit
  19. 06 Feb, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      org: Fix UP links and center them on the page. · 4334abde
      Alexandre Duret-Lutz authored
      * doc/org/init.el.in: Center links.
      * doc/org/csv.org, doc/org/dstar2tgba.org, doc/org/genltl.org,
      doc/org/ioltl.org, doc/org/ltl2tgba.org, doc/org/ltl2tgta.org,
      doc/org/ltlcross.org, doc/org/ltlfilt.org, doc/org/randltl.org,
      doc/org/satmin.org: Fix links.  Reported by Akim Demaille.
      4334abde
  20. 13 May, 2013 1 commit
  21. 26 Apr, 2013 1 commit
  22. 11 Apr, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      org: Make sure ../../src/bin is searched first. · 69dcff5a
      Alexandre Duret-Lutz authored
      We used to set PATH in emacs, but because babel executes "sh" via
      shell-command, the configuration of the main shell may supersedes ours.
      
      * doc/org/ltl2tgba.org, doc/org/ltl2tgta.org, doc/org/ltlcross.org,
      doc/org/ltlfilt.org, doc/org/randltl.org, doc/org/tools.org,
      doc/org/genltl.org: Move all local-file variable to...
      * doc/org/.dir-locals.el: ... here.  And also set the PATH
      in org-babel-sh-command.
      * doc/org/init.el.in: Set the PATH in org-babel-sh-command.
      69dcff5a
  23. 09 Apr, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      org: batch-generate userdoc/ and distribute it · e23203b8
      Alexandre Duret-Lutz authored
      * doc/org/init.el.in, doc/org/syntax.css: New files.
      * configure.ac: Generate init.el from init.el.in, and check for
      emacs.
      * doc/Makefile.am: Build userdoc/ from org/ and distribute userdoc/.
      * README: Mention org/ and userdoc/.
      e23203b8