Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Debugging linter rules #116

Merged
merged 11 commits into from
Jul 27, 2023
Merged

Debugging linter rules #116

merged 11 commits into from
Jul 27, 2023

Commits on Jul 13, 2023

  1. IdemDebug: First prototype of IdemDebug trafo

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    12f94c5 View commit details
    Browse the repository at this point in the history

  2. ArgSizeMismatchRule: extended check_subroutine API to include schedul… 

    …er targets
    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    ca88329 View commit details
    Browse the repository at this point in the history

  3. ArgSizeMismatchRule: Turned IdemDebugTrafo into a linter rule

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    22d4075 View commit details
    Browse the repository at this point in the history

  4. ArgSizeMismatchRule: tested and working on ecLand

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    7b58199 View commit details
    Browse the repository at this point in the history

  5. Moved lint_rules testing boilerplate to conftest.py

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    f48c28c View commit details
    Browse the repository at this point in the history

  6. ArgSizeMismatchRule: added tests

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    2e97a13 View commit details
    Browse the repository at this point in the history

  7. DynamicUboundCheckRule: implemented check, fix and tests

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    1143498 View commit details
    Browse the repository at this point in the history

  8. Appease linter

    @awnawab
    awnawab committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    16f022a View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. ArgSizeMismatchRule: small fixes after PR review

    @awnawab
    awnawab committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    2073856 View commit details
    Browse the repository at this point in the history

  2. ArgSizeMismatchRule: added debug_rules to loki-lint documentation

    @awnawab
    awnawab committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    2fe20c5 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. ArgSizeMismatchRule: targets now retrieved in GenericRule.check

    @awnawab
    awnawab committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    cb73473 View commit details
    Browse the repository at this point in the history