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: Fill in missing type substitutions #2984

Merged
merged 17 commits into from
Nov 28, 2022
Merged

fix: Fill in missing type substitutions #2984

merged 17 commits into from
Nov 28, 2022

Commits on Nov 3, 2022

  1. chore: Rename local variables to something more readable

    @RustanLeino
    RustanLeino committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    443732f View commit details
    Browse the repository at this point in the history

  2. fix: Clone extreme-predicate body when making prefix predicate

    @RustanLeino
    RustanLeino committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    aef58cf View commit details
    Browse the repository at this point in the history

  3. fix: Substitute types in Substitute(Expression)

    @RustanLeino
    RustanLeino committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    1c90050 View commit details
    Browse the repository at this point in the history

  4. Add tests

    @RustanLeino
    RustanLeino committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    dfa8ad6 View commit details
    Browse the repository at this point in the history

  5. Make sure to collect triggers on the cloned prefix-predicate Body

    @RustanLeino
    RustanLeino committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    1baa9bf View commit details
    Browse the repository at this point in the history

  6. Add release notes

    @RustanLeino
    RustanLeino committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    8b69cbf View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. Merge branch 'master' into issue-2947

    @RustanLeino
    RustanLeino authored Nov 4, 2022
    Configuration menu
    Copy the full SHA
    685a806 View commit details
    Browse the repository at this point in the history

  2. When there’s no focal predicate, say so more clearly

    @RustanLeino
    RustanLeino committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    7e67cd6 View commit details
    Browse the repository at this point in the history

  3. Don’t emit trigger warnings for extreme-into-prefix rewrites

    @RustanLeino
    RustanLeino committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    a74bae0 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into issue-2947

    @RustanLeino
    RustanLeino authored Nov 4, 2022
    Configuration menu
    Copy the full SHA
    aa41e2f View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

  1. Merge branch 'master' into issue-2947 

    # Conflicts:
#	Source/DafnyCore/Substituter.cs
    @RustanLeino
    RustanLeino committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    e6fadca View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into issue-2947

    @RustanLeino
    RustanLeino committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    c8d660d View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2022

  1. Improved code re PrefixLemma and PrefixPredicate declarations

    @RustanLeino
    RustanLeino committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    8344691 View commit details
    Browse the repository at this point in the history

  2. chore: Fix spelling in code

    @RustanLeino
    RustanLeino committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    cb857c6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into issue-2947

    @RustanLeino
    RustanLeino committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    b98fba5 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into issue-2947

    @keyboardDrummer
    keyboardDrummer authored Nov 24, 2022
    Configuration menu
    Copy the full SHA
    c6a91ee View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2022

  1. Merge branch 'master' into issue-2947

    @RustanLeino
    RustanLeino committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    b0d0eaf View commit details
    Browse the repository at this point in the history