1. 05 Feb, 2014 1 commit
  2. 04 Feb, 2014 1 commit
  3. 03 Feb, 2014 2 commits
  4. 02 Feb, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      python: better support for Python 3 · b6e5ce7e
      Alexandre Duret-Lutz authored
      * wrap/python/spot.i (spot::ltl::parse_error_list,
      spot::tgba_parse_error_list): Add a __bool__ method, that is used
      instead of __nonzero__ in Python 3.
      * wrap/python/tests/interdep.py, wrap/python/tests/parsetgba.py:
      Force destruction order.
      * NEWS: Update.
      b6e5ce7e
  5. 24 Jan, 2014 3 commits
  6. 23 Jan, 2014 1 commit
  7. 15 Jan, 2014 5 commits
  8. 13 Jan, 2014 5 commits
  9. 18 Dec, 2013 2 commits
  10. 17 Dec, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      Upgrade to gnulib 6b8f1dd1a21ce49319795391e21adf645b64db3c. · 7cfda699
      Alexandre Duret-Lutz authored
      * m4/absolute-header.m4: New file.
      * lib/Makefile.am, lib/argp-fmtstream.h, lib/argp.h, lib/error.c,
      lib/gethrxtime.h, lib/intprops.h, lib/localcharset.c,
      lib/quotearg.c, lib/stdio.in.h, lib/strerror-override.h,
      lib/sys_time.in.h, lib/timespec.h, lib/unistd.in.h, lib/verify.h,
      lib/wctype.in.h, lib/xalloc.h, lib/xsize.h, lib/xtime.h,
      m4/configmake.m4, m4/extern-inline.m4, m4/gnulib-comp.m4,
      m4/include_next.m4, m4/unistd_h.m4: Update to today's gnulib.
      7cfda699
  11. 16 Dec, 2013 1 commit
  12. 11 Dec, 2013 2 commits
  13. 06 Dec, 2013 5 commits
    • Alexandre Duret-Lutz's avatar
      bin: support multi-line CSV fields. · f0bcab4a
      Alexandre Duret-Lutz authored
      * src/bin/common_finput.cc (job_processor::process_stream): Read
      multi-line CSV fields.
      * src/ltltest/lbt.test, src/tgbatest/nondet.test: Add tests.
      f0bcab4a
    • Alexandre Duret-Lutz's avatar
      ltlcross: end CSV lines with \n, not \r\n · 6c210895
      Alexandre Duret-Lutz authored
      * src/bin/ltlcross.cc (print_stats_csv): Revert the recent
      addition of \r, it is caussing too many issues.
      * NEWS: Mention it.
      6c210895
    • 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
      bin: add support for reading formulas from CSV files. · 0faea814
      Alexandre Duret-Lutz authored
      * NEWS: Mention it.
      * src/bin/common_finput.cc, src/bin/common_finput.hh: Implement it.
      * src/bin/common_output.cc, src/bin/common_output.hh: Add the %< and
      %> escapes.
      * src/bin/ltlfilt.cc: Connect %< and %> to the
      prefix andsuffix of the input, and document them.
      * src/tgbatest/det.test, src/tgbatest/nondet.test: Simplify these
      tests that read CSV files.
      0faea814
    • Alexandre Duret-Lutz's avatar
      * doc/org/satmin.org: Typo · 8c587531
      Alexandre Duret-Lutz authored
      8c587531
  14. 28 Nov, 2013 1 commit
  15. 22 Nov, 2013 9 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
      9577e5d5
    • 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: report missing input/output sequence · 686a4548
      Alexandre Duret-Lutz authored
      * src/bin/ltlcross.cc: Fix it.
      * src/tgbatest/ltlcross3.test: New file.
      * src/tgbatest/Makefile.am: Add it.
      * NEWS: Mention it.
      686a4548
    • Alexandre Duret-Lutz's avatar
      tests: add some missing "set -e" · cf91a237
      Alexandre Duret-Lutz authored
      * src/ltltest/lbt.test, src/ltltest/utf8.test,
      src/tgbatest/dbacomp.test, src/tgbatest/ltlcross.test,
      src/tgbatest/ltlcross2.test, src/tgbatest/ltlcrossce.test: Add set -e.
      cf91a237
    • 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
      ltlcross: follow RFC 4180 for CSV output. · 1c5536ea
      Alexandre Duret-Lutz authored
      * src/misc/escape.cc, src/misc/escape.hh (escape_rfc4180): New
      function.
      * src/bin/ltlcross.cc: Do not output space after ',', use
      "\r\n" for end of line, and use escape_rfc4180().
      * NEWS: Mention it.
      1c5536ea