-
Notifications
You must be signed in to change notification settings - Fork 219
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.
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
fix: bigint builtins are foreigns #6892
Conversation
Peak Memory Sample
|
Execution Sample
|
Compilation Sample
|
We needed to take on some tech debt with this fallback handler here: noir/compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs Lines 239 to 241 in b23e85b
We should remove this in this PR to make sure that we've got all of the instances of this issue. |
Done |
I dont't understand why CI is failing on some boundedvev doc that is not modified here, but anyways I fixed the typo in the doc. |
Thanks, I think this got affected by the release PR which got merged. |
🚀 Deployed on https://676997b424c64e8e35f22cf0--noir-docs.netlify.app |
FYI @noir-lang/developerrelations on Noir doc changes. |
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
…ked protocol circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
… circuits (noir-lang/noir#6903) fix: consistent file_id across installation paths (noir-lang/noir#6912) fix: bigint builtins are foreigns (noir-lang/noir#6892) fix: remove unnecessary cast in bit-shift (noir-lang/noir#6890) chore: Release Noir(1.0.0-beta.1) (noir-lang/noir#6622) chore: Add `Instruction::Noop` (noir-lang/noir#6899)
Description
Problem*
Resolves #6594
Summary*
I just changed the attribute, foreign and builtin are handled almost identically.
Additional Context
Documentation*
Check one:
PR Checklist*
cargo fmt
on default settings.