1. 09 Mar, 2004 1 commit
  2. 08 Mar, 2004 5 commits
  3. 21 Feb, 2004 2 commits
  4. 20 Feb, 2004 5 commits
  5. 19 Feb, 2004 2 commits
  6. 16 Feb, 2004 4 commits
  7. 13 Feb, 2004 1 commit
  8. 12 Feb, 2004 1 commit
  9. 11 Feb, 2004 2 commits
  10. 10 Feb, 2004 2 commits
  11. 09 Feb, 2004 2 commits
  12. 08 Feb, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      This should help getting accurate statistics (on both the · 7069d540
      Alexandre Duret-Lutz authored
      formula automaton and the synchronized product) from LBTT.
      Idea from Jean-Michel Couvreur.
      
      * src/tgbaalgos/lbtt.cc (nonacceptant_lbtt_bfs): New class.
      (nonacceptant_lbtt_reachable): New function.
      * src/tgbaalgos/lbtt.hh (nonacceptant_lbtt_reachable): New
      function.
      * src/tgbatest/ltl2tgba.cc (main): Call nonacceptant_lbtt_reachable
      if the -T option is used.
      * src/tgbatest/spotlbtt.test: Setup the -T variants, disabled by
      default.
      7069d540
  13. 05 Feb, 2004 2 commits
  14. 04 Feb, 2004 1 commit
  15. 03 Feb, 2004 3 commits
  16. 02 Feb, 2004 6 commits