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

Preserve clause ordering of requires and ensures when internalisig rules in booster #4037

Merged
merged 10 commits into from
Aug 19, 2024
Merged

Preserve clause ordering of requires and ensures when internalisig rules in booster #4037

merged 10 commits into from
Aug 19, 2024

Commits on Aug 15, 2024

  1. Change the requires/ensures clauses to lists internally

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

  2. merge master

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

  3. Merge branch 'master' into sam/requires-clause-to-list

    @goodlyrottenapple
    goodlyrottenapple authored Aug 15, 2024
    Configuration menu
    Copy the full SHA
    039e572 View commit details
    Browse the repository at this point in the history

  4. Format with fourmolu

    github-actions committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    02ed613 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. update kore definitions to new ones not containing anti-left encoding… 

    … with aliases
    @goodlyrottenapple
    goodlyrottenapple committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f5f6de4 View commit details
    Browse the repository at this point in the history

  2. hlint + minro tweaks

    @goodlyrottenapple
    goodlyrottenapple committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    4d5353a View commit details
    Browse the repository at this point in the history

  3. update module-addition.kore by recompiling with latest K to remove an… 

    …tileft patterns
    @goodlyrottenapple
    goodlyrottenapple committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    c07c357 View commit details
    Browse the repository at this point in the history

  4. fix unit tests

    @goodlyrottenapple
    goodlyrottenapple committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    743d5f8 View commit details
    Browse the repository at this point in the history

  5. merge origin

    @goodlyrottenapple
    goodlyrottenapple committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    9e4a8d2 View commit details
    Browse the repository at this point in the history

  6. hlint

    @goodlyrottenapple
    goodlyrottenapple committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    e1539b4 View commit details
    Browse the repository at this point in the history