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

Implement binding rules for control statements #1076

Merged
merged 9 commits into from
Aug 16, 2024
Merged

Implement binding rules for control statements #1076

merged 9 commits into from
Aug 16, 2024

Commits on Aug 14, 2024

  1. Binding rules for if statements and made returns bind explicitly

    @ggiraldez
    ggiraldez committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    800b097 View commit details
    Browse the repository at this point in the history

  2. Binding rules for for loops

    @ggiraldez
    ggiraldez committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    f7e41a6 View commit details
    Browse the repository at this point in the history

  3. Binding rules for while and do-while statements

    @ggiraldez
    ggiraldez committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    4be812f View commit details
    Browse the repository at this point in the history

  4. Binding rules for emit statements and basic event definitions

    @ggiraldez
    ggiraldez committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    de8b0e1 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Support try-catch statements and error definitions in binding rules

    @ggiraldez
    ggiraldez committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    8c3da63 View commit details
    Browse the repository at this point in the history

  2. Add support to revert statements

    @ggiraldez
    ggiraldez committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    b65ea19 View commit details
    Browse the repository at this point in the history

  3. Support unchecked blocks in binding rules

    @ggiraldez
    ggiraldez committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    d86eefd View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Big reorganization of the bindings rule file 

    We're abandoning strict evaluation (which we were not using anyway) in favor of
approachability and readability.
    @ggiraldez
    ggiraldez committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    2177bf2 View commit details
    Browse the repository at this point in the history

  2. Disallow comments without assertions in binding assertions input files 

    Also, count the number of skipped assertions (due to not fulfilling the version
requirements)
    @ggiraldez
    ggiraldez committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    635facd View commit details
    Browse the repository at this point in the history