1. 16 Jan, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix several warnings reported by clang++ 3.2. · aa7b43ea
      Alexandre Duret-Lutz authored
      * src/tgba/tgbakvcomplement.cc
      (tgba_kv_complement_succ_iterator::current_state_),
      src/ta/taexplicit.hh (state_ta_explicit::source_):
      Remove useless private member.
      * src/ta/taexplicit.cc: Adjust constructors.
      * src/ta/tgta.cc, src/ta/taexplicit.hh: Also fix
      copyright banner.
      * src/bin/ltlcross.cc (exec_with_timeout): Work
      around warning about status not being set in the
      error path.
      aa7b43ea
  2. 24 Dec, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      Address several issues reported by cppcheck all over the place. · a577850e
      Alexandre Duret-Lutz authored
      * src/bin/common_finput.cc, src/tgbaalgos/lbtt.cc: Use !empty() instead
      of size() > 0.
      * src/bin/ltl2tgta.cc, src/kripke/kripkeexplicit.cc,
      src/tgbatest/complementation.cc: Avoid useless assignments.
      * src/bin/ltlcross.cc: Correct mistaken assignment inside assert().
      * src/evtgba/symbol.hh, src/tgba/tgbabddcoredata.cc,
      src/tgba/tgbabddcoredata.hh,
      src/tgba/tgbasafracomplement.cc (operator=): Do not return a const
      reference.
      * src/evtgbatest/ltl2evtgba.cc, src/evtgbatest/product.cc,
      src/evtgbatest/product.cc: Check indices before using them, not after.
      * src/kripke/kripkeexplicit.cc, src/kripke/kripkeexplicit.hh,
      src/tgbatest/randtgba.cc: Pass constant strings by reference.
      * src/kripke/kripkeprint.cc, src/tgbaalgos/simulation.cc:
      Remove a useless operation.
      * src/ltlvisit/simplify.cc: Remove a duplicate condition.
      * src/misc/formater.hh: Remove unused attribute.
      * src/misc/modgray.cc: Initialize done_ in the constructor.
      * src/saba/explicitstateconjunction.cc,
      src/saba/explicitstateconjunction.hh (operator=): Fix prototype.
      * src/saba/sabacomplementtgba.cc: Remove unused default constructor.
      * src/ta/taexplicit.cc, src/ta/taproduct.cc, src/ta/tgtaproduct.cc,
      src/ta/tgtaproduct.hh, src/taalgos/emptinessta.cc,
      src/taalgos/minimize.cc, src/taalgos/reachiter.cc,
      src/taalgos/tgba2ta.cc, src/tgbaalgos/cutscc.cc: Use C++ casts, and
      ++it instead of it++.
      * src/taalgos/dotty.cc, src/tgbatest/ltl2tgba.cc: Refine the scope of
      variables.
      * src/tgba/tgbakvcomplement.hh (bdd_order): Always initialize bdd_.
      * src/tgba/tgbasgba.cc, src/tgba/wdbacomp.cc: Use the initialization
      line to initialize all members.
      a577850e
  3. 14 Nov, 2012 1 commit
  4. 23 Oct, 2012 1 commit
  5. 21 Oct, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      rename ltlcheck as ltlcross · f3ef9de0
      Alexandre Duret-Lutz authored
      * src/bin/ltlcheck.cc, src/bin/man/ltlcheck.x,
      src/tgbatest/ltlcheck.test, src/tgbatest/ltlcheck2.test: Rename as ...
      * src/bin/ltlcross.cc, src/bin/man/ltlcross.x,
      src/tgbatest/ltlcross.test, src/tgbatest/ltlcross2.test: ... these.
      * NEWS, src/bin/Makefile.am, src/bin/man/Makefile.am,
      src/tgbatest/Makefile.am: Adjust.
      f3ef9de0
  6. 20 Oct, 2012 1 commit
  7. 19 Oct, 2012 2 commits
    • Alexandre Duret-Lutz's avatar
      bin: Adjust version display and help options. · b8ed85a3
      Alexandre Duret-Lutz authored
      In particular, this get rid of the ugly -? option that argp adds by
      default, and we also remove -V so that we can use it for something
      else later.
      
      * src/bin/common_setup.cc, src/bin/common_setup.hh (misc_argp):
      Provide support for --help/--version/--usage output, replacing argp's
      default builting version.
      * src/bin/genltl.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc,
      src/bin/ltlcheck.cc, src/bin/ltlfilt.cc, src/bin/randltl.cc:
      Call argp_parse() with ARGP_NO_HELP, and use misc_argp instead.
      b8ed85a3
    • Alexandre Duret-Lutz's avatar
  8. 15 Oct, 2012 4 commits
  9. 14 Oct, 2012 7 commits
  10. 13 Oct, 2012 9 commits