acir: Parse ACIR memory and call opcodes (#9331) (2282832)
Add FunctionDefinition::visibility (#9363) (4a7bb06)
Initial ACIR parser (arithmetic exprs and black box functions) (#9316) (5be4e92)
lsp: Allow opening noir stdlib files (#9339) (18b01b3)
Return unsolvable opcode from CircuitSimulator (#8943) (cb861f8)
Show circuit output as a value of the program's return type (#9364) (a3e0aba)
ssa_fuzzer: Arrays support (#9427) (8d80b28)
ssa_fuzzer: Pushing generated program and witness to redis queue (#9375) (532b512)
Type alias for numeric generics (#7583) (d7e2c17)

Bug Fixes

Allow constants in the type-system to be negative (#9360) (7d48355)
Allow nested fmtstr (#9309) (42429ab)
Correct doc comments for SSA passes (#9371) (941611c)
Disable comptime printing when requesting json output (#9381) (1d8a104)
Do u128 operations with u128, not i128 (#9345) (c0b92e6)
Forbid self-referencing type aliases (#9103) (639d802)
Handle short-syntax for trait constraints on trait generics (#9167) (0550ee0)
Make Ssa-gen use existing reference when compiling &mut foo.bar.baz (#9307) (edd42f8)
mem2reg: Register aliases when the IfElse result in a reference (#9305) (637e060)
Modulo overflow in comptime (#9348) (922efbd)
ownership: Increment reference count for nested array get in LHS assignment (#9347) (20c37b2)
Perserve purities after SSA normalization (#9355) (5d6dd7e)
Prevent SignedField::from(i128::MIN) from crashing (#9366) (9846e1e)
Prevent accidental tuple sharing in comptime code (#9313) (28abb68)
Prevent invalid types in test/fuzz functions (#9343) (21faf96)
Push definition trait constraints after trait item constraint (#9354) (7d98dc2)
Replace implicitly added named generics with fresh type vars in check_trait_impl_where_clause_matches_trait_where_clause (#9352) (8264d30)
Some nargo expand fixes (#9324) (9b1b10f)
ssa_gen: Add constraint on slice length before popping (#9323) (46a0d18)
ssa_gen: Generate code for index before the collection (#9332) (b61f5eb)
ssa_interpreter: push_back and pop_back to slices with padding (#9320) (dd0bc23)
ssa-interpreter: Return error if slice length is 0 during popping (#9308) (8d8dba4)
ssa: Do not check ArrayGet/Set as unreachable for Brillig (#9376) (2d3a304)
ssa: Keep reference count increments for array set values (#9344) (be626a1)
Substitute bindings in type before canonicalization (#9328) (37e8b2d)
Throw error if foreign call returns the wrong number of fields (#9286) (d5f6ca7)
Top-level item in dependency isn't always visible (#9295) (4609eb2)
Trait where clause check fixes (#9369) (cb6b7e3)
Wildcard type should be allowed in lambda parameter types (#9325) (8f21710)