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

Feature/decl assign params #1441

Merged
merged 17 commits into from
Jul 25, 2024
Merged

Feature/decl assign params #1441

merged 17 commits into from
Jul 25, 2024

Commits on Jul 18, 2024

  1. direct assignment for params

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    0cb6c98 View commit details
    Browse the repository at this point in the history

  2. adds declassign for params

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    92e240f View commit details
    Browse the repository at this point in the history

  3. adds auto to params

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2ae0649 View commit details
    Browse the repository at this point in the history

  4. auto for params

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2508378 View commit details
    Browse the repository at this point in the history

  5. update

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    ab91640 View commit details
    Browse the repository at this point in the history

  6. update

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    b6eb7a3 View commit details
    Browse the repository at this point in the history

  7. update

    @SteveBronder
    SteveBronder committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    6b98c92 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. revert debug_data_generation_tests.ml

    @SteveBronder
    SteveBronder committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    a1b2cb8 View commit details
    Browse the repository at this point in the history

  2. remove assign and make initialize into a type

    @SteveBronder
    SteveBronder committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    2aaf5dd View commit details
    Browse the repository at this point in the history

  3. update optimizer

    @SteveBronder
    SteveBronder committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    14d9053 View commit details
    Browse the repository at this point in the history

  4. update mem_pattern to account for decl now having ReadParams inside o… 

    …f it
    @SteveBronder
    SteveBronder committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    42e0c45 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Fix monotone framework expression detection

    @WardBrian
    WardBrian committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    f10b7a9 View commit details
    Browse the repository at this point in the history

  2. update

    @SteveBronder
    SteveBronder committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    d62fe4a View commit details
    Browse the repository at this point in the history

  3. update

    @SteveBronder
    SteveBronder committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    5a86db1 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2024

  1. Add back position statements

    @WardBrian
    WardBrian committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    aeb990a View commit details
    Browse the repository at this point in the history

  2. Tidy Transform_Mir

    @WardBrian
    WardBrian committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    0f127ba View commit details
    Browse the repository at this point in the history

  3. More optimization tweaks

    @WardBrian
    WardBrian committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    36271ca View commit details
    Browse the repository at this point in the history