• Alexandre Duret-Lutz's avatar
    common_trans: allow rewriting operators · d9174593
    Alexandre Duret-Lutz authored
    Part of #168.
    
    * spot/misc/formater.cc: Adjust to support bracketed options.
    * bin/common_trans.hh, bin/common_trans.cc: Use that to
    support rewriting operators.
    * doc/org/ltlcross.org, tests/core/ltldo.test: Add some examples.
    * NEWS: Mention it.
    d9174593