• Alexandre Duret-Lutz's avatar
    LTL parser: better error recovery. · 0c1fec12
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlparse.yy: Keep the left operand of binary operator,
    if the right one is erroneous.  Also keep the sane beginning of
    parenthesized blocks.
    * src/ltltest/parseerr.test: Adjust test cases.
    * NEWS: Mention it.
    0c1fec12
To find the state of this project's repository at the time of any of these versions, check out the tags.