1. 25 Sep, 2012 1 commit
  2. 18 Sep, 2012 1 commit
  3. 17 Sep, 2012 1 commit
  4. 16 Sep, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      Add a visitor to relabel the atomic proposition in formulas. · d9dc1f48
      Alexandre Duret-Lutz authored
      * src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh: New files.
      * src/ltlvisit/Makefile.am: Add them.
      * src/ltlvisit/clone.cc (recurse): Don't call clone(), nobody
      needs that.  Instead, really recurse.
      * src/bin/ltlfilt.cc: Add a --relabel option.
      * src/bin/genltl.cc: Relabel formulas if --lbt is used.
      * src/sanity/style.test: Tweak detection of i++.
      d9dc1f48
  5. 14 Sep, 2012 3 commits
    • Alexandre Duret-Lutz's avatar
      Add an LTL printer in LBT's syntax. · 1a84c17e
      Alexandre Duret-Lutz authored
      * src/ltlvisit/lbt.cc, src/ltlvisit/lbt.hh: New files.
      * src/ltlvisit/Makefile.am: Add them.
      * src/bin/common_output.cc, src/bin/common_output.hh: Add
      support for LBT output, and reporting formulae that cannot
      be output in this syntax.
      * src/bin/ltlfilt.cc: Pass filename and linenum to
      output_formula() for better error reporting.
      1a84c17e
    • Alexandre Duret-Lutz's avatar
      Implement a parser for LBT's prefix syntax for LTL. · 106a14f8
      Alexandre Duret-Lutz authored
      * src/ltlparse/public.hh (parse_lbt): New function.
      * src/ltlparse/ltlparse.yy, src/ltlparse/ltlscan.ll: Implement it.
      * src/bin/ltlfilt.cc: Use it.
      106a14f8
    • Alexandre Duret-Lutz's avatar
      Detect fail conditions on std::cout in user's tools. · 807834ec
      Alexandre Duret-Lutz authored
      * src/bin/common_cout.cc, src/bin/common_cout.hh: New files.
      * src/bin/Makefile.am: Add them.
      * src/bin/ltl2tgba.cc, src/bin/ltlfilt.cc, src/bin/common_output.cc:
      Report error when writing to std::cout failed.  This is mainly
      motivated by ltlfilt not being killed by SIGPIPE on lip6's OSX
      buildfarm (SIGPIPE is probably ignored when the build is started), but
      it could detect other errors such as a disk full.
      807834ec
  6. 12 Sep, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix multiple inclusions of config.h. · 26deb56a
      Alexandre Duret-Lutz authored
      * src/bin/common_sys.hh: New file.
      * src/bin/Makefile.am: Add it.
      * src/bin/common_output.hh, src/bin/common_r.cc,
      src/bin/common_range.cc, src/bin/genltl.cc, src/bin/ltlfilt.cc,
      src/bin/randltl.cc: Include common_sys.hh instead of config.h.
      26deb56a
  7. 07 Sep, 2012 6 commits
  8. 04 Sep, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      ltlfilt: initial implementation. · a0e1a144
      Alexandre Duret-Lutz authored
      * src/bin/ltlfilt.cc, src/bin/Makefile.am: New files.
      * src/Makefile.am (SUBDIRS): Add bin.
      * configure.ac: Add src/bin/Makefile.am.
      * README: Document src/bin/.
      a0e1a144