Skip to content
  • Alexandre Duret-Lutz's avatar
    dotty: colored acceptance sets · 838bfb2a
    Alexandre Duret-Lutz authored
    This implement several new options for --dot in order to
    allow emptiness sets to be output as colored ⓿ or ❶...
    Also add a SPOT_DOTDEFAULT environment variable.
    * NEWS, src/bin/man/spot-x.x, src/bin/,
    src/bin/ Document the new options.
    * doc/org/.dir-locals.el, doc/org/ Setup
    SPOT_DOTEXTRA and SPOT_DOTDEFAULT for all documents.
    * doc/org/, doc/org/, doc/org/,
    doc/org/, doc/org/, doc/org/,
    doc/org/ Adjust to this new setup.
    * src/misc/, src/misc/escape.hh (escape_html): New function.
    * src/tgba/, src/tgba/acc.hh (to_text, to_html): New method.
    * src/tgbaalgos/ Implement the new options.
    * src/tgbatest/readsave.test, wrap/python/tests/automata.ipynb: More
    * wrap/python/ Make sure the default argument for
    dotty_reachable is None, so that SPOT_DOTDEFAULT is honored.
To find the state of this project's repository at the time of any of these versions, check out the tags.