-
Alexandre Duret-Lutz authored
acceptance conditions in the produced automaton, in case they are not actually used.
78be3514
To find the state of this project's repository at the time of any of these versions, check out the tags.
acceptance conditions in the produced automaton, in case they are not actually used.