1. 24 Jan, 2014 3 commits
  2. 23 Jan, 2014 1 commit
  3. 15 Jan, 2014 5 commits
  4. 13 Jan, 2014 5 commits
  5. 18 Dec, 2013 2 commits
  6. 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
  7. 16 Dec, 2013 1 commit
  8. 11 Dec, 2013 2 commits
  9. 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
  10. 28 Nov, 2013 1 commit
  11. 22 Nov, 2013 10 commits
  12. 11 Nov, 2013 1 commit
  13. 22 Oct, 2013 2 commits
  14. 17 Oct, 2013 1 commit