1. 05 Feb, 2004 1 commit
  2. 04 Feb, 2004 1 commit
  3. 03 Feb, 2004 3 commits
  4. 02 Feb, 2004 14 commits
  5. 30 Jan, 2004 1 commit
  6. 29 Jan, 2004 2 commits
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbaexplicit.cc (tgba_explicit::get_acceptance_condition): · 1d72cdc8
      Alexandre Duret-Lutz authored
      Do not treat true and false specially.  Otherwise it breaks
      translation of F(false).
      * src/tgbatest/explprod.test, src/tgbatest/tripprod.test: Do not
      use true as acceptance condition.
      
      * src/tgbaalgos/ltl2tgba_fm.cc (ltl_trad_visitor): Use Acc[b] as
      acceptance condition for Fb, not Acc[Fb].
      
      After this change, degeneralized automata are 40% smaller
      1d72cdc8
    • Alexandre Duret-Lutz's avatar
      After this changes, degeneralized automata are 40% smaller · 440029c1
      Alexandre Duret-Lutz authored
      in LBTT's statistics.
      
      * src/tgba/tgbatba.cc (state_tba_proxy): Store an iterator,
      pointing somewhere into the acceptance conditions list, instead of
      an acceptance condition.
      (state_tba_proxy::acceptance_iterator): New method.
      (tgba_tba_proxy_succ_iterator): Adjust to use iterators too.
      (tgba_tba_proxy_succ_iterator::current_state): If the current
      transition is in several consecutive acceptance steps after the
      expected one, advance many steps at once.
      (tgba_tba_proxy::tgba_tba_proxy): Build the acceptance cycle
      as a list, not a map.
      (tgba_tba_proxy::get_init_state, tgba_tba_proxy::succ_iter):
      Adjust.
      * src/tgba/tgbatba.hh (tgba_tba_proxy::acc_cycle_): Declare as
      a list, not a map.
      440029c1
  7. 26 Jan, 2004 3 commits
  8. 23 Jan, 2004 3 commits
  9. 16 Jan, 2004 2 commits
    • Alexandre Duret-Lutz's avatar
      4b4b640e
    • Alexandre Duret-Lutz's avatar
      * src/Alloc.h: Rename as ... · 7c1ac7bb
      Alexandre Duret-Lutz authored
      * src/ObstackAlloc.h: ... this.  The problem is that alloc.h is a
      system header in g++ < 3.0, and Darwin has a case-insensitive
      filesystem.  System headers that include alloc.h pick the local
      Alloc.h version.
      * BuchiAutomaton.h, Configuration.h, DispUtil.cc,
      ExternalTranslator.h, FormulaRandomizer.h, Graph.h.in,
      LtlFormula.h, Makefile.am, NeverClaimAutomaton.h, PathEvaluator.h,
      ProductAutomaton.h, SccIterator.h, SharedTestData.h,
      StatDisplay.h, StateSpace.h, StateSpaceRandomizer.cc,
      StringUtil.h, TestOperations.h, TestRoundInfo.h, TestStatistics.h,
      UserCommandReader.h, UserCommands.h, main.cc: Adjust includes.
      7c1ac7bb
  10. 13 Jan, 2004 4 commits
  11. 12 Jan, 2004 1 commit
  12. 09 Jan, 2004 5 commits