Skip to content

fix: always use u32 when indexing arrays#29

Merged
TomAFrench merged 1 commit intomainfrom
ab/u32-index
Jun 5, 2025
Merged

fix: always use u32 when indexing arrays#29
TomAFrench merged 1 commit intomainfrom
ab/u32-index

Conversation

@asterite
Copy link
Contributor

Description

Problem

Towards noir-lang/noir#7908

Summary

Additional Context

PR Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@asterite asterite requested a review from kashbrti May 23, 2025 18:33
@github-project-automation github-project-automation bot moved this to 👀 To Triage in Noir Libraries May 23, 2025
@Savio-Sou Savio-Sou moved this from 👀 To Triage to 📝 To Review in Noir Libraries May 23, 2025
@TomAFrench TomAFrench closed this Jun 5, 2025
@github-project-automation github-project-automation bot moved this from 📝 To Review to ✅ Done in Noir Libraries Jun 5, 2025
@TomAFrench TomAFrench reopened this Jun 5, 2025
@github-project-automation github-project-automation bot moved this from ✅ Done to 👀 To Triage in Noir Libraries Jun 5, 2025
@TomAFrench TomAFrench merged commit d7ab22a into main Jun 5, 2025
15 checks passed
@github-project-automation github-project-automation bot moved this from 👀 To Triage to ✅ Done in Noir Libraries Jun 5, 2025
@github-actions github-actions bot mentioned this pull request Jun 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants