1. 12 Feb, 2014 1 commit
  2. 11 Feb, 2014 1 commit
  3. 08 Feb, 2014 2 commits
  4. 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
  5. 04 Feb, 2014 1 commit
  6. 24 Jan, 2014 1 commit
  7. 11 Dec, 2013 1 commit
  8. 06 Dec, 2013 2 commits
    • Alexandre Duret-Lutz's avatar
      ltl2tgba: Add a --csv-escape option and document CSV I/O. · 846e33b9
      Alexandre Duret-Lutz authored
      * src/bin/common_output.cc, src/bin/common_output.hh:
      (output_formula_checked, aut_stat_printer): New.
      * src/bin/genltl.cc, src/bin/randltl.cc, src/bin/ltlfilt.cc: Call
      output_formula_checked() instead of output_formula().
      * src/bin/ltl2tgba.cc: Use aut_stat_printer and add option --csv-escape.
      * doc/org/csv.org: New file to document CSV I/O.
      * doc/Makefile.am: Add it.
      * doc/org/ioltl.org, doc/org/ltlfilt.org, doc/org/ltl2tgba.org,
      doc/org/tools.org: Link to csv.org
      846e33b9
    • Alexandre Duret-Lutz's avatar
      * doc/org/satmin.org: Typo · 8c587531
      Alexandre Duret-Lutz authored
      8c587531
  9. 22 Nov, 2013 6 commits
    • Alexandre Duret-Lutz's avatar
      ltlcross: report statistics about Rabin and Streett automata · d719c706
      Alexandre Duret-Lutz authored
      * src/bin/ltlcross.cc: Implement it.
      * src/bin/man/ltlcross.x, doc/org/ltlcross.org, NEWS: Document it.
      * src/tgbatest/ltl2dstar.test, src/tgbatest/ltlcross3.test: Test it.
      d719c706
    • Alexandre Duret-Lutz's avatar
      ltlcross: support --products=+N · 2b10745d
      Alexandre Duret-Lutz authored
      * src/bin/ltlcross.cc: Implement it.
      * NEWS, doc/org/ltlcross.org: Document it.
      * src/tgbatest/ltlcross3.test: Test it.
      2b10745d
    • Alexandre Duret-Lutz's avatar
      doc: add suggestions for bibliographic references · 3e3d320d
      Alexandre Duret-Lutz authored
      * doc/org/tools.org, src/bin/man/genltl.x, src/bin/man/ltl2tgba.x,
      src/bin/man/ltl2tgta.x, src/bin/man/ltlcross.x, src/bin/man/ltlfilt.x,
      src/bin/man/randltl.x: Add bibliographic references, mostly to
      the ATVA'13 paper.
      3e3d320d
    • Alexandre Duret-Lutz's avatar
      ltlcross: report exit_status and exit_code columns in CSV and JSON · f65c621a
      Alexandre Duret-Lutz authored
      * src/bin/ltlcross.cc: Report exit_status and exit_code columns in CSV
      and JSON files.  Also output lines for failed translations, and add
      a --omit-missing option to disable that.  Move the time column right
      after exit_status and exit_code.
      * src/bin/man/ltlcross.x: Document each column of the output.
      * bench/ltl2tgba/tools: Use the "{name}cmd" notation.
      * bench/ltl2tgba/sum.py: Adjust to the new columns.
      * bench/ltl2tgba/README: Update to point to the man page for a
      description of the columns.
      * bench/ltl2tgba/Makefile.am: Build results.pdf as said announced in
      README.
      * bench/spin13/html.bottom: Update code to ignore these two new
      columns and lines with null values.
      * src/tgbatest/ltlcross3.test: Add tests.
      * doc/org/ltlcross.org: Adjust examples.
      * NEWS: Mention this.
      f65c621a
    • Alexandre Duret-Lutz's avatar
      ltlcross: support short names · 7de25a32
      Alexandre Duret-Lutz authored
      * NEWS: Mention it.
      * doc/org/ltlcross.org: Document it.
      * src/bin/ltlcross.cc: Implement it.
      * src/tgbatest/Makefile.am, src/tgbatest/defs.in,
      src/tgbatest/ltlcross4.test: Test it.
      7de25a32
    • Alexandre Duret-Lutz's avatar
  10. 11 Nov, 2013 1 commit
  11. 11 Oct, 2013 1 commit
  12. 01 Oct, 2013 1 commit
  13. 28 Sep, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      relabel: implement relabeling of Boolean subexpressions. · 87b65b9b
      Alexandre Duret-Lutz authored
      * src/ltlast/multop.cc, src/ltlast/multop.hh (multop::boolean_operands,
      multop::boolean_count): New methods.
      * src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh
      (relabel): Take an optional relabeling_map as parameter.
      (relabel_bse): New.
      * src/ltltest/ltlrel.test, src/ltltest/ltlrel.cc: New files.
      * src/ltltest/Makefile.am: Add them.
      * src/bin/ltlfilt.cc: Add option --relabel-bool.
      * src/ltltest/ltlfilt.test: Test it.
      * NEWS: Mention it.
      * doc/org/ltlfilt.org: Illustrate it.
      87b65b9b
  14. 22 Sep, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      tools: Add a --format option · ce5ea829
      Alexandre Duret-Lutz authored
      * src/bin/common_output.cc: Add option --format and implement
      it.
      * src/bin/ltlfilt.cc, src/bin/randltl.cc: Document the
      supported %-sequences.
      * src/bin/genltl.cc: Document the %-sequences, and supply
      the name of the pattern to output_formula().
      * doc/org/genltl.org, doc/org/ioltl.org, doc/org/ltlfilt.org,
      NEWS: Document it.
      * src/ltltest/latex.test: Use it.
      ce5ea829
  15. 16 Sep, 2013 1 commit
  16. 08 Sep, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      postproc: Add option to output Complete automata. · 1ab46b08
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Tweak set_pref()
      to also accept Any|Complete, Small|Complete, or Deterministic|Complete.
      * src/bin/common_post.hh, src/bin/common_post.cc: Add option --complete
      and set comp.
      * src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc: Pass
      comp to set_pref().
      * src/tgbaalgos/complete.cc: Preserve state-based acceptance.
      * src/tgbatest/dstar.test, src/tgbatest/ltlcross2.test,
      src/tgbatest/nondet.test: Augment tests.
      * doc/org/dstar2tgba.org, doc/org/ltl2tgba.org, NEWS: Document.
      1ab46b08
  17. 26 Aug, 2013 2 commits
  18. 23 Aug, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      dstar2tgba: new command. · d3b81809
      Alexandre Duret-Lutz authored
      * src/bin/dstar2tgba.cc, src/bin/man/dstar2tgba.x: New files.
      * src/bin/Makefile.am, src/bin/man/Makefile.am: Add them.
      * NEWS: Mention it.
      * src/bin/ltl2tgba.cc, src/tgbaalgos/stats.cc, doc/org/ltl2tgba.org:
      Rename the %S sequence as %c, for consistency with dstar2tgba.
      * src/tgbatest/ltl2dstar.test: Add more tests.
      * src/tgbatest/ltl2dstar2.test: New file.
      * src/tgbatest/Makefile.am: Add it.
      d3b81809
  19. 29 Jul, 2013 2 commits
  20. 09 Jul, 2013 2 commits
  21. 09 Jun, 2013 2 commits
  22. 13 May, 2013 4 commits
  23. 28 Apr, 2013 2 commits
  24. 27 Apr, 2013 1 commit
  25. 26 Apr, 2013 1 commit