• Alexandre Duret-Lutz's avatar
    gen: introduce a new automaton family · ec51f976
    Alexandre Duret-Lutz authored
    * spot/gen/automata.cc, spot/gen/automata.hh: Define AUT_L_NBA.
    * bin/genaut.cc (--l-nba): New option.
    * bin/man/genaut.x, doc/org/genaut.org, NEWS: Document it.
    * tests/python/gen.py, tests/core/genaut.test: Test it.
To find the state of this project's repository at the time of any of these versions, check out the tags.