Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    print_dot: improve the rendering of Mealy machines · 753d572e
    Alexandre Duret-Lutz authored 
    * spot/twaalgos/dot.cc (print_dot): Add some detection of Mealy
machines, and some code to render its I/O in a <table>.
* tests/python/synthesis.ipynb: Adjust expected output.
* tests/python/_mealy.ipynb: New file.
* tests/Makefile.am: Add python/_mealy.ipynb.
* NEWS: Mention the new feature.
    753d572e
To find the state of this project's repository at the time of any of these versions, check out the tags.