• Alexandre Duret-Lutz's avatar
    ltlcross: replace %H,%T,%N by %O · 847270b4
    Alexandre Duret-Lutz authored
    Also get rid of the lbt_parser, and fix the LBT support of the HOA
    parser.
    
    * doc/org/ltlcross.org, doc/org/ltldo.org: Update.
    * src/bin/common_trans.cc, src/bin/common_trans.hh: Add support for
    %O, and keep %T,%N,%H as hidden aliases without disabling them.
    * src/bin/ltlcross.cc, src/bin/ltldo.cc, src/tgbatest/ltl2tgba.cc:
    Call hoa_parse instead of lbt_parse.
    * src/hoaparse/hoaparse.yy: Improve error reporting from LBT.
    * src/hoaparse/hoascan.ll: Fix typos preventing parsing of
    LBT files with more than 10 states.
    * src/tgbaalgos/lbtt.cc, src/tgbaalgos/lbtt.hh: Delete the lbt
    parser.
    * src/tgbatest/lbttparse.test: Adjust the expected error message.
    * NEWS: Update.
    847270b4