Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlcross, ltldo: add a --relabel option · 43520a3e
    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