1. 08 Feb, 2014 2 commits
  2. 07 Feb, 2014 5 commits
  3. 06 Feb, 2014 2 commits
  4. 05 Feb, 2014 1 commit
  5. 03 Feb, 2014 2 commits
  6. 24 Jan, 2014 1 commit
  7. 23 Jan, 2014 1 commit
  8. 15 Jan, 2014 4 commits
  9. 13 Jan, 2014 3 commits
  10. 18 Dec, 2013 1 commit
  11. 16 Dec, 2013 1 commit
  12. 06 Dec, 2013 4 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
  13. 22 Nov, 2013 8 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: 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
  14. 22 Oct, 2013 1 commit
  15. 01 Oct, 2013 1 commit
  16. 30 Sep, 2013 3 commits
    • Alexandre Duret-Lutz's avatar
      Fix uninitialized variables in spot::postprocessor. · f3b87c85
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/postproc.cc: Initialize option
      variables when opt is not given.
      f3b87c85
    • Alexandre Duret-Lutz's avatar
      Add support for Bison 3.0. · 3c943d83
      Alexandre Duret-Lutz authored
      We still want to remain compatible with Bison 2.7 so instead of fixing
      all the new errors reported by 3.0 we silence some warning.  We should
      fix these for good once Bison 3.0 is more widespread.
      
      * m4/bison.m4: New file. Test if bison support -Wno-empty-rule and
      -Wno-deprecated.  Define BISON and BISON_EXTRA_FLAGS.
      * configure.ac: Do not test for yacc, use the above test instead.
      * src/dstarparse/Makefile.am, src/eltlparse/Makefile.am,
      src/kripkeparse/Makefile.am, src/ltlparse/Makefile.am,
      src/neverparse/Makefile.am, src/tgbaparse/Makefile.am: Use BISON
      and BISON_EXTRA_FLAGS.
      * src/ltlparse/ltlparse.yy: Fix or and remove useless %right/%nonassoc
      settings.
      * src/eltlparse/eltlparse.yy: Likewise, and remove "%pure-parser".
      3c943d83
    • Alexandre Duret-Lutz's avatar
      Work around some configurations of latexmk. · 56638720
      Alexandre Duret-Lutz authored
      * src/ltltest/latex.test: Use latexmk -pvc- like in doc/tl/Makefile.am.
      Reported by Étienne Renault.
      56638720