• Alexandre Duret-Lutz's avatar
    fix line number tracking in files with DOS newlines · f8cf2aa9
    Alexandre Duret-Lutz authored
    * src/dstarparse/dstarscan.ll, src/kripkeparse/kripkescan.ll,
    src/neverparse/neverclaimscan.ll, src/tgbaparse/tgbascan.ll:
    Distinguish between 1-sized EOL and 2-sized EOL.
    * src/kripketest/bad_parsing.test, src/tgbatest/neverclaimread.test,
    src/tgbatest/readsave.test: Add more tests.
    * NEWS: Mention it.
    * src/kripkeparse/scankripke.ll: Remove this unused file.
To find the state of this project's repository at the time of any of these versions, check out the tags.