-
Alexandre Duret-Lutz authored
bdd_format_accset to print the acceptance condition part of the state. That produces more readable output.
Alexandre Duret-Lutz authoredbdd_format_accset to print the acceptance condition part of the state. That produces more readable output.
To find the state of this project's repository at the time of any of these versions, check out the tags.
Loading