Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    dot: add option "k" · a9b4560f
    Alexandre Duret-Lutz authored 
    Fixes #134.

* spot/twaalgos/dot.cc: Implement it.
* bin/common_aoutput.cc, spot/twaalgos/dot.hh, NEWS: Document it.
* tests/core/readsave.test, tests/python/ltsmin.ipynb: Test it.
    a9b4560f
To find the state of this project's repository at the time of any of these versions, check out the tags.