-
Damien Lefortier authored
in taa_succ_iterator and allow multiple initial states in taa. * src/tgba/ltl2taa.cc: Remove temporary printing.
11ecdf2b
To find the state of this project's repository at the time of any of these versions, check out the tags.