-
Alexandre Duret-Lutz authored
with same destination and acceptance conditions directly, without calling a->merge_transition(). If one transitions goes to "True", subtract its conditions from all other transitions; this optimizes a U b.
e434ccbe
To find the state of this project's repository at the time of any of these versions, check out the tags.