Skip to content
Find file Blame History Permalink
  • Maximilien Colange's avatar
    Add a genaut binary. · 3c0aecf4
    Maximilien Colange authored 
    Similarly to genltl that generates LTL formulas for various classes that
appear in the literature, genaut generates automata.

* NEWS: Mention the modification.
* bin/Makefile.am: Build the new binary.
* bin/genaut.cc: The new binary itself.
    3c0aecf4
To find the state of this project's repository at the time of any of these versions, check out the tags.