Skip to content
  • Alexandre Duret-Lutz's avatar
    deprecate spot::acc_cond::format() · bfe0ada6
    Alexandre Duret-Lutz authored
    * NEWS: Mention it.
    * spot/twa/acc.hh (spot::acc_cond::format): Deprecate.
    (spot::acc_cond::mark_t::as_string): New function.
    * spot/taalgos/dot.cc: Use mark_t::as_string().
    * spot/priv/satcommon.cc, spot/priv/satcommon.hh,
    spot/twaalgos/dtwasat.cc, spot/twaalgos/emptiness.cc,
    tests/core/acc.cc, tests/core/acc.test: Adjust to use << directly.
    bfe0ada6
To find the state of this project's repository at the time of any of these versions, check out the tags.