Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    acd: add support for state-based output · 70ede357
    Alexandre Duret-Lutz authored 
    * spot/twaalgos/zlktree.hh, spot/twaalgos/zlktree.cc (acd::node_level,
acd::state_step, acd_transform_sbacc): New public functions.
* tests/python/zlktree.ipynb, tests/python/zlktree.py: More tests.
* NEWS: Typo.
    70ede357
To find the state of this project's repository at the time of any of these versions, check out the tags.