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.

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

feat: Sync from noir #11138

Merged
merged 28 commits into from
Jan 11, 2025
Merged
Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
b590871
[1 changes] feat!: require trait primitive functions/calls to have th…
Jan 9, 2025
a8a7cba
chore: apply sync fixes
Jan 9, 2025
e791a61
Merge branch 'master' into sync-noir
TomAFrench Jan 9, 2025
a240753
.
TomAFrench Jan 9, 2025
5e46b37
.
TomAFrench Jan 9, 2025
e02ffac
Merge branch 'master' into sync-noir
TomAFrench Jan 9, 2025
a95a252
.
TomAFrench Jan 9, 2025
479c38b
[1 changes] fix: require generic trait impls to be in scope to call t…
Jan 10, 2025
e9c5985
chore: apply sync fixes
Jan 10, 2025
271966d
fix: require generic trait impls to be in scope to call them (https:/…
Jan 10, 2025
f93468f
Merge branch 'master' into sync-noir
TomAFrench Jan 10, 2025
273e594
Merge branch 'master' into sync-noir
TomAFrench Jan 10, 2025
cd0972b
[1 changes] feat: unchecked math operations in SSA (https://github.co…
Jan 10, 2025
68ba915
chore: apply sync fixes
Jan 10, 2025
3313783
feat: unchecked math operations in SSA (https://github.com/noir-lang/…
Jan 10, 2025
7db0b11
.
TomAFrench Jan 10, 2025
d7f8bb3
.
TomAFrench Jan 10, 2025
d876b5f
Merge branch 'master' into sync-noir
TomAFrench Jan 10, 2025
2b2f306
Merge branch 'master' into sync-noir
TomAFrench Jan 10, 2025
948aa4d
Merge branch 'master' into sync-noir
TomAFrench Jan 10, 2025
65969cb
Merge branch 'master' into sync-noir
TomAFrench Jan 10, 2025
0f02951
[1 changes] feat: SSA globals in monomorphization and SSA gen (https…
Jan 11, 2025
0ea85f5
chore: apply sync fixes
Jan 11, 2025
d10c025
feat: SSA globals in monomorphization and SSA gen (https://github.co…
Jan 11, 2025
7be7e78
Merge branch 'master' into sync-noir
TomAFrench Jan 11, 2025
19bb8f5
.
TomAFrench Jan 11, 2025
008d474
.
TomAFrench Jan 11, 2025
f435c39
.
TomAFrench Jan 11, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
.
  • Loading branch information
TomAFrench committed Jan 11, 2025
commit 19bb8f57cdf0cbf1f40fbefedb656d74cc481fb0
Original file line number Diff line number Diff line change
Expand Up @@ -1066,12 +1066,6 @@ impl Instruction {
Instruction::Noop => Remove,
}
}

/// Some instructions are only to be used in Brillig and should be eliminated
/// after runtime separation, never to be be reintroduced in an ACIR runtime.
pub(crate) fn is_brillig_only(&self) -> bool {
matches!(self, Instruction::IncrementRc { .. } | Instruction::DecrementRc { .. })
}
}

/// Given a chain of operations like:
Expand Down
Loading