1. 25 Feb, 2019 2 commits
  2. 14 Feb, 2019 1 commit
  3. 26 Jan, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      doc: add some troubleshooting help · 056ec02b
      Alexandre Duret-Lutz authored
      Inspired by #375.
      
      * README: Add a section about troubleshooting installations.  Mention
      GraphViz as optional dependency.
      * doc/org/install.org: Mention the troubleshooting section from INSTALL.
      056ec02b
  4. 16 Jan, 2019 1 commit
  5. 07 Jan, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      org: typo · 365fde83
      Alexandre Duret-Lutz authored
      * doc/org/concepts.org: Typo reported by Paul Guénézan.
      * THANKS: Add him.
      365fde83
  6. 11 Dec, 2018 1 commit
  7. 17 Oct, 2018 1 commit
  8. 28 Sep, 2018 2 commits
  9. 26 Sep, 2018 2 commits
  10. 17 Aug, 2018 1 commit
  11. 11 Aug, 2018 1 commit
  12. 04 Aug, 2018 1 commit
  13. 02 Aug, 2018 1 commit
  14. 12 Jul, 2018 2 commits
    • Alexandre Duret-Lutz's avatar
      org: add missing documentation for prop_complete · d941b9e1
      Alexandre Duret-Lutz authored
      * doc/org/concepts.org: Here.
      d941b9e1
    • Alexandre Duret-Lutz's avatar
      more documentation for twa_graph internals · 46590af6
      Alexandre Duret-Lutz authored
      * spot/graph/graph.hh, spot/twa/twagraph.hh, spot/twa/twagraph.cc:
      Implement a dump_storage_as_dot() method.
      * python/spot/__init__.py (twa_graph.show_storage): New method, above
      dump_storage_as_dot().
      * tests/python/twagraph-internals.ipynb: New file, with documentation
      about the twa_graph internals, using show_storage() to illustrate
      everything.
      * tests/Makefile.am, doc/org/tut.org: Add it.
      * python/spot/impl.i: Add bindings for out_iterasor, demonstrated in
      the Python notebook.
      * spot/twa/twa.hh: Add prop_reset().  Used in the notebook.
      * NEWS: Mention the new notebook and function.
      * doc/org/tut50.org: Link to the notebook.
      * tests/python/ipnbdoctest.py: Adjust for twa_graph_ptr being
      redefined in the spot namespace.
      46590af6
  15. 05 Jul, 2018 1 commit
  16. 04 Jul, 2018 2 commits
  17. 27 Jun, 2018 2 commits
    • Alexandre Duret-Lutz's avatar
      org: clarify that ltl2tgba does not only output TGBA · 4235b007
      Alexandre Duret-Lutz authored
      * doc/org/tools.org: Adjust the link to ltl2tgba.org.
      * doc/org/ltl2tgba.org: Also point out that --generic and --parity can
      be used without --deterministic.
      * bin/ltl2tgba.cc, bin/spot.cc: Adjust help text.
      4235b007
    • Alexandre Duret-Lutz's avatar
      modernize the logo · 2402d721
      Alexandre Duret-Lutz authored
      * doc/org/spot2.svg: New file.
      * doc/Makefile.am: Distribute it.
      * doc/org/.gitignore: Adjust.
      * doc/org/setup.org: Display it.
      * 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/ioltl.org, doc/org/ltl2tgba.org,
      doc/org/ltl2tgta.org, doc/org/ltlcross.org, doc/org/ltldo.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/tools.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/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/upgrade2.org: Include setup.org instead of declaring it as
      SETUPFILE.
      * doc/org/spot.css: Add entries for the logo.
      * python/ajax/trans.html: Use the new logo.
      * python/ajax/logos/mail.png, python/ajax/logos/spot64s.png: Delete.
      * python/ajax/Makefile.am: Adjust.
      2402d721
  18. 25 Jun, 2018 1 commit
  19. 20 Jun, 2018 2 commits
    • Alexandre Duret-Lutz's avatar
      org: fix lists of escape sequences · b7e77743
      Alexandre Duret-Lutz authored
      * doc/org/autfilt.org, doc/org/ltl2tgba.org, doc/org/ltlfilt.org: Here.
      b7e77743
    • Alexandre Duret-Lutz's avatar
      translate: add ltl-split option · 4815a361
      Alexandre Duret-Lutz authored
      * spot/twaalgos/translate.cc, spot/twaalgos/translate.hh: Build
      automata with generic acceptance by doing product of automata for
      smaller subformulas.
      * bin/spot-x.cc: Mention ltl-split.
      * NEWS: Mention the change, and show some results.
      * tests/core/genltl.test, tests/python/_product_susp.ipynb,
      tests/python/highlighting.ipynb: Adjust test cases.
      * doc/org/ltl2tgba.org: Update.
      * tests/core/gragsa.test: Add another formula to cover more
      code.
      4815a361
  20. 13 Jun, 2018 1 commit
  21. 24 May, 2018 1 commit
  22. 15 May, 2018 2 commits
  23. 14 May, 2018 1 commit
  24. 04 May, 2018 2 commits
    • Alexandre Duret-Lutz's avatar
      org: add link to stutter checks and autcross on main page · 9f30b924
      Alexandre Duret-Lutz authored
      * doc/org/index.org: Here.
      9f30b924
    • Alexandre Duret-Lutz's avatar
      introduce containement checks functions · d6f96181
      Alexandre Duret-Lutz authored
      * spot/twaalgos/contains.hh, spot/twaalgos/contains.cc: New files.
      * spot/twaalgos/Makefile.am, python/spot/impl.i: Add them.
      * python/spot/__init__.py: Also attach these functions as methods,
      and support string arguments.
      * tests/python/contains.ipynb: New file.
      * tests/Makefile.am, doc/org/tut.org: Add it.
      * bin/autfilt.cc, tests/python/streett_totgba.py, tests/python/sum.py,
      tests/python/toweak.py: Use the new function.
      d6f96181
  25. 20 Apr, 2018 1 commit
  26. 09 Apr, 2018 1 commit
  27. 07 Apr, 2018 3 commits
    • Alexandre Duret-Lutz's avatar
      dot: use tooltips with option "1" · 2775b0ab
      Alexandre Duret-Lutz authored
      Fixes #327.
      
      * spot/twaalgos/dot.cc: Emit a tooltip="..." for state names and
      labels that are disabled by option "1".
      * doc/org/tut51.org, tests/python/product.ipynb, NEWS: Discuss this.
      * tests/core/readsave.test, tests/python/alternation.ipynb,
      tests/python/automata.ipynb: Adjust test cases.
      2775b0ab
    • 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
    • Alexandre Duret-Lutz's avatar
      org: fix broken links · 309eb0bb
      Alexandre Duret-Lutz authored
      * doc/org/upgrade2.org, doc/org/ioltl.org, doc/org/concepts.org: Here.
      * doc/org/tut51.org: Fix example output.
      309eb0bb
  28. 30 Mar, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      sat_minimize: improve logs and document Python bindings · c766f58d
      Alexandre Duret-Lutz authored
      * spot/priv/satcommon.cc, spot/priv/satcommon.hh: Make it possible to
      set the log file without setting the environment variable.  Adjust
      print_log to take the input state and print it as a new column.
      * spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc: Adjust all
      calls to print_log.  Fix log output for incremental approaches.
      Prefer purge_unreachable_states() over stats_reachable().  Do
      not call scc_filter() on colored automata.
      * spot/twaalgos/dtwasat.hh: Document the new "log" option.
      * NEWS: Mention the changes.
      * tests/python/satmin.ipynb: New file.
      * tests/Makefile.am: Add it.
      * doc/org/satmin.org, doc/org/tut.org: Link to it.
      * doc/org/satmin.org, bin/man/spot-x.x: Adjust description
      of CSV files.
      * bench/dtgbasat/gen.py, bench/dtgbasat/tabl.pl,
      bench/dtgbasat/tabl1.pl, bench/dtgbasat/tabl2.pl,
      bench/dtgbasat/tabl3.pl, bench/dtgbasat/tabl4.pl: Adjust for
      the new column.
      * spot/misc/satsolver.cc, spot/misc/satsolver.hh (stats): Make it
      const.
      ...
      c766f58d
  29. 25 Mar, 2018 1 commit