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

fix: Use reveal_ constant as function argument in override axiom #5111

Merged
merged 16 commits into from
Mar 1, 2024
Merged

fix: Use reveal_ constant as function argument in override axiom #5111

merged 16 commits into from
Mar 1, 2024

Commits on Feb 20, 2024

  1. fix: Use reveal_ constant as function argument in override axiom

    @RustanLeino
    RustanLeino committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    7f0e62a View commit details
    Browse the repository at this point in the history

  2. Add resolution checks

    @RustanLeino
    RustanLeino committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    f5b6ab9 View commit details
    Browse the repository at this point in the history

  3. Add axiom to correlate reveal_ constants for overrides

    @RustanLeino
    RustanLeino committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    59a03d0 View commit details
    Browse the repository at this point in the history

  4. Add release notes

    @RustanLeino
    RustanLeino committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    589fd80 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into issue-5017

    @RustanLeino
    RustanLeino authored Feb 20, 2024
    Configuration menu
    Copy the full SHA
    c28c072 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Merge branch 'master' into issue-5017

    @RustanLeino
    RustanLeino committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    f2f69c3 View commit details
    Browse the repository at this point in the history

  2. Fix exit-code expectation

    @RustanLeino
    RustanLeino committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    0c38b12 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Merge branch 'master' into issue-5017

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    09f6818 View commit details
    Browse the repository at this point in the history

  2. Introduce const for “reveal_”

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    b9916ea View commit details
    Browse the repository at this point in the history

  3. Use keyword itself rather than keyword-is-present

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    248dec2 View commit details
    Browse the repository at this point in the history

  4. Extract method ReportMemberNotFoundError

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    8a4b908 View commit details
    Browse the repository at this point in the history

  5. Add resolutionContext parameter

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    de1690f View commit details
    Browse the repository at this point in the history

  6. chore: Improve code formatting

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    16a2e95 View commit details
    Browse the repository at this point in the history

  7. Improve error messages for reveal

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    563d9a8 View commit details
    Browse the repository at this point in the history

  8. Further improve error messages

    @RustanLeino
    RustanLeino committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    e6b6169 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Merge branch 'master' into issue-5017

    @RustanLeino
    RustanLeino authored Mar 1, 2024
    Configuration menu
    Copy the full SHA
    8c0b2ae View commit details
    Browse the repository at this point in the history