Skip to content

Release 1.1.9
Compare
Choose a tag to compare
@florianschanda florianschanda released this 03 Sep 08:05
· 129 commits to main since this release
trlc-1.1.9
600373d

1.1.9

  • [TRLC] Add support for Python 3.11. We now support Python 3.8 up to
    and including 3.11.

  • [TRLC] Add new option --no-detailed-info which supresses the
    additional information the linter may add to a message, such as
    counter-examples or reasoning.

  • [TRLC] The tool is now much less likely to abort on parse errors,
    instead we continue where it's possible to generate more errors in
    other unrelated packages and declarations. This may occasionally
    generate follow-on errors that look weird, however once you fix the
    earlier errors things should work out.

  • [TRLC] Add new option --no-error-recovery which restores the old
    behaviour w.r.t. error handling. With this option, every error you
    see is absolutely a real error which you need to fix; but of course
    there could be more errors once you fix them.

  • [LRM] Mark .check files as a deprecated feature. You should move
    your checks into the corresponding .rsl file. The linter also
    complains about these now.

Assets 2
Loading