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

migrate to naga 0.13 #40

Merged
merged 10 commits into from
Aug 26, 2023
Merged

migrate to naga 0.13 #40

merged 10 commits into from
Aug 26, 2023

Commits on Jul 24, 2023

  1. update naga to 0.13.0

    @VitalyAnkh
    VitalyAnkh committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    0152fd0 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. elide useless expr

    @VitalyAnkh
    VitalyAnkh committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    eeb62e3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into update-naga-to-0.13

    @VitalyAnkh
    VitalyAnkh committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    e07caee View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. const_expressions

    @robtfm
    robtfm committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    57f8ff1 View commit details
    Browse the repository at this point in the history

  2. update tests

    @robtfm
    robtfm committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    d925077 View commit details
    Browse the repository at this point in the history

  3. basic prune port

    @robtfm
    robtfm committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    a2415c7 View commit details
    Browse the repository at this point in the history

  4. remove unneeded size branch

    @robtfm
    robtfm committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    19c7abf View commit details
    Browse the repository at this point in the history

  5. fmt

    @robtfm
    robtfm committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    2194e8b View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2023

  1. Merge branch 'master' into 0.13

    @robtfm
    robtfm committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    ef5452c View commit details
    Browse the repository at this point in the history

  2. major version bump

    @robtfm
    robtfm committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    4a69a91 View commit details
    Browse the repository at this point in the history