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

Trivial map elimination init #1353

Merged
merged 8 commits into from
Nov 8, 2023
Merged

Trivial map elimination init #1353

merged 8 commits into from
Nov 8, 2023

Commits on Aug 21, 2023

  1. Added testcase exposing bug

    Samuel Martin committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    395308b View commit details
    Browse the repository at this point in the history

  2. Added a fix, not sure how good he is

    Samuel Martin committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    cc67041 View commit details
    Browse the repository at this point in the history

  3. Adapt other testcases

    Samuel Martin committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    9b967af View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. Merge branch 'master' into trivial_map_elimination_init

    @alexnick83
    alexnick83 authored Aug 24, 2023
    Configuration menu
    Copy the full SHA
    9e08b03 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Merge branch 'master' into trivial_map_elimination_init

    @Sajohn-CH
    Sajohn-CH authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    1b198f4 View commit details
    Browse the repository at this point in the history

  2. Review changes

    Samuel Martin committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    cdba4e4 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Merge branch 'master' into trivial_map_elimination_init

    @acalotoiu
    acalotoiu authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    86c3c1a View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Merge branch 'master' into trivial_map_elimination_init

    @Sajohn-CH
    Sajohn-CH authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    c38b3ec View commit details
    Browse the repository at this point in the history