-
Alexandre Duret-Lutz authored
* bin/common_trans.cc, bin/common_trans.hh: Add the --relabel option. * bin/ltlcross.cc, bin/ltldo.cc: Implement it. * doc/org/ltldo.org, NEWS: Document it. * tests/core/ltl3ba.test: Test it.
43520a3e
* bin/common_trans.cc, bin/common_trans.hh: Add the --relabel option. * bin/ltlcross.cc, bin/ltldo.cc: Implement it. * doc/org/ltldo.org, NEWS: Document it. * tests/core/ltl3ba.test: Test it.