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

Unify in-scope name types #2635

Merged
merged 4 commits into from
Jul 6, 2023
Merged

Unify in-scope name types #2635

merged 4 commits into from
Jul 6, 2023

Commits on Jul 6, 2023

  1. Unify in-scope name types 

    Enable construction of names with a more concrete type than the one in
scope.
    @thpani
    thpani committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    937358e View commit details
    Browse the repository at this point in the history

  2. Update changelog

    @thpani
    thpani committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    6e5478c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into th/builder-name-unify

    @thpani
    thpani committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    0d10230 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into th/builder-name-unify

    @apalache-bot
    apalache-bot committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    afa6555 View commit details
    Browse the repository at this point in the history