Skip to content
Find file Blame History Permalink
  • 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.
    ec51f976