-
Alexandre Duret-Lutz authored
* src/tgba/futurecondcol.hh, src/tgba/futurecondcol.cc: New files. * src/tgba/Makefile.am: Adjust. * src/tgbatest/ltl2tgba.cc: Add option -FC.
d74578ef
To find the state of this project's repository at the time of any of these versions, check out the tags.