Skip to content
  • 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
To find the state of this project's repository at the time of any of these versions, check out the tags.