-
Guillaume Sadegh authored
* src/tgba/tgbasgba.hh, src/tgba/tgbasgba.hh: Here. * src/tgbatest/ltl2tgba.cc: New option `-lS' for state-labeled automata. * src/tgba/Makefile.am: Adjust and sort files in tgba_HEADERS and libtgba_la_SOURCES.
8f5f0354
To find the state of this project's repository at the time of any of these versions, check out the tags.