1. 06 Mar, 2013 1 commit
  2. 05 Mar, 2013 6 commits
  3. 02 Mar, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      bin: Fix handling of LTL simplification options. · b6b6582b
      Alexandre Duret-Lutz authored
      Enable LTL simplifications by default for ltl2tgba & ltl2tgta, and make
      sure the ltl_simplifier_options are all false initially.  Before this
      patch --low/-r1 had the same effect as --medium/-r2 with respect to LTL
      simplification.
      
      * src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc (simplification_level): Set
      to 3 by default.
      * src/bin/common_r.cc: Disable all ltl_simplifier options initially.
      b6b6582b
  4. 20 Feb, 2013 2 commits
  5. 12 Feb, 2013 1 commit
  6. 31 Jan, 2013 1 commit
  7. 23 Jan, 2013 3 commits
  8. 22 Jan, 2013 1 commit
  9. 21 Jan, 2013 4 commits
  10. 20 Jan, 2013 4 commits
  11. 18 Jan, 2013 1 commit
  12. 17 Jan, 2013 3 commits
  13. 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
  14. 14 Jan, 2013 2 commits
  15. 11 Jan, 2013 1 commit
  16. 10 Jan, 2013 3 commits
  17. 06 Jan, 2013 5 commits