-
Alexandre Duret-Lutz authored
* spot/twaalgos/strength.cc, spot/twaalgos/strength.hh, spot/tl/hierarchy.cc, spot/tl/hierarchy.hh: Here. * bin/ltlfilt.cc (--liveness): New filter. * NEWS: Mention those. * tests/core/ltlfilt.test, tests/python/ltlsimple.py: Add test cases.
d94efe9f