Skip to content

feat(ssa): remove range checks and unsigned lt comparisons implied by a dominating bound - #13266

Draft
jeswr wants to merge 3 commits into
noir-lang:masterfrom
jeswr:feat/remove-redundant-range-checks
Draft

feat(ssa): remove range checks and unsigned lt comparisons implied by a dominating bound#13266
jeswr wants to merge 3 commits into
noir-lang:masterfrom
jeswr:feat/remove-redundant-range-checks

chore: tighten comments to upstream style; add execution snapshots

cebd23f
Select commit
Loading
Failed to load commit list.
Socket Security / Socket Security: Pull Request Alerts succeeded Jul 10, 2026 in 8s

Pull Request #13266 Alerts: Skipped

Report Status Message
PR #13266 Alerts Pull request contains no net changes to dependencies

Pull request alerts notify when new issues are detected between the diff of the pull request and it's target branch.

Details

No dependency changes detected. Learn more about Socket for GitHub.

👍 No dependency changes detected in pull request