• Thomas Medioni's avatar
    dtwa_complement: deprecated, use dualize() instead. · 152b5d0d
    Thomas Medioni authored
    * NEWS: Mention of the deprecation
    * bench/stutter/stutter_invariance_randomgraph.cc,
      bin/autfilt.cc, bin/ltlcross.cc, spot/twaalgos/langmap.cc,
      spot/twaalgos/minimize.cc, spot/twaalgos/powerset.cc,
      spot/twaalgos/stutter.cc, tests/core/ikwiad.cc,
      tests/python/bugdet.py, tests/python/remfin.py,
      tests/python/sum.py: Refactor calls to dtwa_complement() with calls
      to dualize().
    * doc/org/upgrade2.org: Change mention of dtwa_complement with dualize.
    * spot/twaalgos/complement.hh: Add deprecation notice.
    * python/spot/impl.i: Add deprecation notice for the python bindings.
    152b5d0d
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 157 KB