-
Alexandre Duret-Lutz authored
This is long overdue, and we probably want to use tls-impl=1 in ltlsynt. * spot/twaalgos/translate.cc, spot/twaalgos/translate.hh: Add support for tls-impl=N. * tests/core/ltl2tgba.test: Test it. * bin/spot-x.cc, NEWS: Document it.
689aa7fd