Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/gtec.hh: · 983d12cc
    Alexandre Duret-Lutz authored
    (couvreur99_check_shy_ssp): Add a onepass_ attribute to
    disable the "shyness", and do not increment pos before calling
    find_state since gspn's implementation uses it.
    * iface/gspn/ssp.cc: Enable "onepass_" for all "shy" variants,
    and also fix find_state for the case where onepass_ is
    disabled (but I do not yet know why the latter fix isn't enough).
    983d12cc
To find the state of this project's repository at the time of any of these versions, check out the tags.