Skip to content

chore!: rename bigint_neg into bigint_sub#4420

Merged
guipublic merged 3 commits intomasterfrom
gd/noir_issue_4243
Feb 5, 2024
Merged

chore!: rename bigint_neg into bigint_sub#4420
guipublic merged 3 commits intomasterfrom
gd/noir_issue_4243

Commits

Commits on Feb 5, 2024