1. 23 Jul, 2004 1 commit
  2. 22 Jul, 2004 2 commits
  3. 20 Jul, 2004 1 commit
  4. 16 Jul, 2004 3 commits
  5. 12 Jul, 2004 1 commit
  6. 09 Jul, 2004 6 commits
  7. 08 Jul, 2004 2 commits
    • Alexandre Duret-Lutz's avatar
      lbtt 1.1.0 supports TGBAs, use that and remove old workarounds. · 3b856466
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/lbtt.cc (state_acc_pair, state_acc_pair_equal,
      state_acc_pair_hash, acp_seen_map, todo_set, seen_map, fill_todo
      lbtt_reachable): Remove.
      (nonacceptant_lbtt_bfs): Rename as ...
      (lbtt_bfs): ... this, and adjust to output acceptance conditions
      on transitions.
      (nonacceptant_lbtt_reachable): Rename as ...
      (lbtt_reachable): ... this.
      * src/tgbaalgos/lbtt.hh (nonacceptant_lbtt_reachable): Delete.
      * src/tgbatest/ltl2tgba.cc: Suppress option "-T".
      3b856466
    • Alexandre Duret-Lutz's avatar
      Patch from Heikki Tauriainen <heikki.tauriainen@hut.fi>. · 59df6100
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/gtec/ce.cc (counter_example::counter_example): Do
      not parenthesize the type after the new operator (g++ 3.4 complains).
      * src/tgbaalgos/dupexp.cc (dupexp_iter::process_state,
      dupexp_iter::declare_state): Use this->automata_instead of
      automata_.   Local member automata_ inherited from template base
      classes must be prefixed or g++ 3.4 will not look them
      up (conforming to 14.6.2.3).
      59df6100
  8. 07 Jul, 2004 2 commits
  9. 05 Jul, 2004 1 commit
    • martinez's avatar
      * src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh, · 9ce68888
      martinez authored
      src/tgbaalgos/reductgba_sim.cc,	src/tgbaalgos/reductgba_sim.hh,
      src/tgbaalgos/reductgba_sim_del.cc: Remove some comments.
      
      * src/tgbatest/ltl2tgba.cc, src/tgbatest/reductgba.cc: Adjust ...
      * src/tgbatest/spotlbtt.test: More test (delayed simulation)
      9ce68888
  10. 29 Jun, 2004 2 commits
  11. 28 Jun, 2004 2 commits
    • martinez's avatar
      * src/tgbatest/reduccmp.test: Bug. · 8be67c19
      martinez authored
      * src/tgbatest/reductgba.test: More Test.
      
      * src/tgbatest/ltl2tgba.cc: Adjust ...
      * src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/reductgba_sim.hh,
      src/tgbaalgos/reductgba_sim.cc: try to optimize.
      
      * src/tgba/tgbareduc.hh, src/tgba/tgbareduc.cc: Scc reduction
      and we remove some acceptance condition in scc which are not accepting.
      * src/ltlvisit/syntimpl.cc : Some case wasn't detect.
      * src/ltlvisit/basicreduce.cc: Case FGa || FGb = F(Ga | Gb) added.
      * src/ltltest/syntimpl.test: More Test.
      * src/ltltest/syntimpl.cc: Put the formula in negative normal form.
      8be67c19
    • Alexandre Duret-Lutz's avatar
      * buddy/: Merge buddy-2-3. · acee9e75
      Alexandre Duret-Lutz authored
      acee9e75
  12. 25 Jun, 2004 1 commit
  13. 23 Jun, 2004 8 commits
  14. 22 Jun, 2004 3 commits
  15. 21 Jun, 2004 1 commit
  16. 17 Jun, 2004 4 commits