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

Checks for misuse of nondet and oneOf #1431

Merged
merged 12 commits into from
May 7, 2024
Merged

Checks for misuse of nondet and oneOf #1431

merged 12 commits into from
May 7, 2024

Commits on May 6, 2024

  1. Check usage of nondet and oneOf

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    0105c97 View commit details
    Browse the repository at this point in the history

  2. Report informative error when nondet is top level

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    d0d7edf View commit details
    Browse the repository at this point in the history

  3. Update generated error messages

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    71cd1cf View commit details
    Browse the repository at this point in the history

  4. Return list of errors instead of map

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    fef5ea7 View commit details
    Browse the repository at this point in the history

  5. Break down big test into units

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    5cead19 View commit details
    Browse the repository at this point in the history

  6. Add CHANGELOG entry

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    969fcbb View commit details
    Browse the repository at this point in the history

  7. Fix nondet issue in ICS20

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    3ba143b View commit details
    Browse the repository at this point in the history

  8. Fix Lightclient example nondet misuse

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    53b073c View commit details
    Browse the repository at this point in the history

  9. Update test fixtures

    @bugarela
    bugarela committed May 6, 2024
    Configuration menu
    Copy the full SHA
    cf47cc0 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Philip Offtermatt <[email protected]>
    @bugarela @p-offtermatt
    bugarela and p-offtermatt authored May 7, 2024
    Configuration menu
    Copy the full SHA
    6fc1738 View commit details
    Browse the repository at this point in the history

  2. Inlclude actual expression type in the error msg

    @bugarela
    bugarela committed May 7, 2024
    Configuration menu
    Copy the full SHA
    69b8280 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into gabriela/nondet-checks

    @bugarela
    bugarela authored May 7, 2024
    Configuration menu
    Copy the full SHA
    371ced4 View commit details
    Browse the repository at this point in the history