• Maximilien Colange's avatar
    Degeneralization keeps track of levels. · f7d14ab5
    Maximilien Colange authored
    * NEWS: Document this.
    * spot/twa/twagraph.cc: `copy_state_names_from` handles this new info.
    * spot/twaalgos/degen.hh, spot/twaalgos/degen.cc: Implement it.
    * tests/python/origstate.py, tests/python/simstate.py: Update tests to
      reflect the change.
    f7d14ab5
To find the state of this project's repository at the time of any of these versions, check out the tags.