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

Encode the basic refinement of escaped local blocks #753

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Encode the basic refinement of escaped local blocks #753

wants to merge 8 commits into from

Commits on Feb 5, 2022

  1. Encode the basic refinement of escaped local blocks

    @aqjune
    aqjune committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    948efa6 View commit details
    Browse the repository at this point in the history

  2. Minor update

    @aqjune
    aqjune committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    0fb45e9 View commit details
    Browse the repository at this point in the history

  3. Updates

    @aqjune
    aqjune committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    3012d46 View commit details
    Browse the repository at this point in the history

  4. Update

    @aqjune
    aqjune committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    d77f885 View commit details
    Browse the repository at this point in the history

  5. Deal with the byval case

    @aqjune
    aqjune committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    3ec73cf View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2022

  1. Renaming

    @aqjune
    aqjune committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    6d455cc View commit details
    Browse the repository at this point in the history

  2. Support transformations removing lifetime intrinsics, try to support … 

    …escaped locals to writeonly fns
    @aqjune
    aqjune committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    c3bb638 View commit details
    Browse the repository at this point in the history

  3. Add skip-identity

    @aqjune
    aqjune committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    733b851 View commit details
    Browse the repository at this point in the history