7 Releases published by 1 person

• nightly-2024-09-18

  published Sep 18, 2024

• nightly-2024-09-19

  published Sep 19, 2024

• nightly-2024-09-20

  published Sep 20, 2024

• nightly-2024-09-21

  published Sep 21, 2024

• nightly-2024-09-22

  published Sep 22, 2024

• nightly-2024-09-23

  published Sep 23, 2024

• nightly-2024-09-24

  published Sep 24, 2024

41 Pull requests merged by 9 people

• feat: remove aztec macros

  #6087 merged Sep 24, 2024

• feat: swap endianness in-place in keccak implementation

  #6128 merged Sep 23, 2024

• feat: (LSP) remove unused imports

  #6129 merged Sep 23, 2024

• fix: handle parenthesized expressions in array length

  #6132 merged Sep 23, 2024

• chore: remove bubble_up_constrains

  #6127 merged Sep 23, 2024

• fix: Consider constants as used values to keep their rc ops

  #6122 merged Sep 23, 2024

• feat(perf): Allow array set last uses optimization in return block of Brillig functions

  #6119 merged Sep 20, 2024

• feat: represent assertions more similarly to function calls

  #6103 merged Sep 20, 2024

• feat: pretty print Quoted token stream

  #6111 merged Sep 20, 2024

• feat: LSP autocompletion for TypePath

  #6117 merged Sep 20, 2024

• fix: disambiguate field or int static trait method call

  #6112 merged Sep 20, 2024

• chore: delete duplicated test

  #6113 merged Sep 20, 2024

• feat: (LSP) suggest $vars inside quote { ... }

  #6114 merged Sep 20, 2024

• chore: ec addition for non-zero points

  #5858 merged Sep 20, 2024

• chore(docs): removing old versions

  #6075 merged Sep 20, 2024

• fix(mem2reg): Remove possibility of underflow

  #6107 merged Sep 19, 2024

• fix: decode databus return values

  #6095 merged Sep 19, 2024

• fix: Allow macros to change types on each iteration of a comptime loop

  #6105 merged Sep 19, 2024

• chore: Schnorr signature verification in Noir

  #5437 merged Sep 19, 2024

• feat: Implement solver for mov_registers_to_registers

  #6089 merged Sep 19, 2024

• fix: preserve generic kind on trait methods

  #6099 merged Sep 19, 2024

• feat: (LSP) show global value on hover

  #6097 merged Sep 19, 2024

• feat: (LSP) if in runtime code, always suggest functions that return Quoted as macro calls

  #6098 merged Sep 19, 2024

• chore: fix broken formatting on master

  #6096 merged Sep 19, 2024

• feat: Implement type paths

  #6093 merged Sep 18, 2024

• feat: let LSP suggest macro calls too

  #6090 merged Sep 18, 2024

• fix: Unify macro result type with actual type

  #6086 merged Sep 18, 2024

• fix: Initialise databus using return values

  #6074 merged Sep 18, 2024

• fix!: Infer globals to be u32 when used in a type

  #6083 merged Sep 18, 2024

• fix: Fix comptime type formatting

  #6079 merged Sep 18, 2024

• fix: don't crash on untyped global used as array length

  #6076 merged Sep 18, 2024

• feat(perf): Remove unused loads in mem2reg and last stores per function

  #5925 merged Sep 17, 2024

• fix: Correct stack trace order in comptime assertion failures

  #6066 merged Sep 17, 2024

• chore!: removing implicit numeric generics

  #5837 merged Sep 17, 2024

• fix: Always parse all tokens from quoted token streams

  #6064 merged Sep 17, 2024

• fix: Update databus in flattening

  #6063 merged Sep 17, 2024

• fix: Be more lenient with semicolons on interned expressions

  #6062 merged Sep 17, 2024

• feat: check unconstrained trait impl method matches

  #6057 merged Sep 17, 2024

• chore: remove unused TypeVariableKind::Constant

  #6053 merged Sep 17, 2024

• feat: visibility for traits

  #6056 merged Sep 17, 2024

• feat: allow visibility modifiers in struct definitions

  #6054 merged Sep 17, 2024

22 Pull requests opened by 8 people

• feat: visibility for type aliases

  #6058 opened Sep 17, 2024

• feat: detect unconstructed structs

  #6061 opened Sep 17, 2024

• chore: Add `Instruction::MakeArray` to SSA

  #6071 opened Sep 17, 2024

• feat: attempt SSA optimizations on zero-arg functions first

  #6072 opened Sep 17, 2024

• feat: avoid branch condition negations in `ValueMerger`

  #6073 opened Sep 17, 2024

• chore: to_bytes returns the canonical decomposition

  #6084 opened Sep 18, 2024

• feat(perf): Track last loads per block in mem2reg and remove them if possible

  #6088 opened Sep 18, 2024

• feat(perf): Remove inc_rc/dec_rc instructions that follow a removed load in mem2reg

  #6092 opened Sep 18, 2024

• feat: Syncing TypeVariableKind with Kind

  #6094 opened Sep 18, 2024

• chore: split `test_program`s into modules

  #6101 opened Sep 19, 2024

• feat: Sync from aztec-packages

  #6109 opened Sep 20, 2024

• feat: add crsPath param to BarretenbergVerifier and UltraHonkVerifier

  #6115 opened Sep 20, 2024

• feat(perf): Expand RC optimization pass to search return block for inc_rcs

  #6116 opened Sep 20, 2024

• fix: Handle multi-byte utf8 characters in formatter

  #6118 opened Sep 20, 2024

• feat: do not double error on import with error

  #6131 opened Sep 23, 2024

• feat: remove unnecessary branching in keccak impl

  #6133 opened Sep 23, 2024

• fix(ssa): RC correctness issue

  #6134 opened Sep 23, 2024

• fix: let token pretty printer handle `+=` and similar token sequences

  #6135 opened Sep 23, 2024

• feat!: kind size checks

  #6137 opened Sep 23, 2024

• fix: allow providing default implementations of unconstrained trait methods

  #6138 opened Sep 24, 2024

• chore: split `noirc_frontend/src/tests.rs` into submodules

  #6139 opened Sep 24, 2024

• chore: remove unnecessary `Prover.toml`s

  #6140 opened Sep 24, 2024

30 Issues closed by 5 people

• DIE removes reference counters for constant arrays

  #6121 closed Sep 23, 2024

• Mem2reg aliasing block arguments miscompilation

  #6120 closed Sep 20, 2024

• Improve how `assert` and `assert_eq` are parsed and represented

  #6102 closed Sep 20, 2024

• The output of printing quoted values is hard to understand

  #6110 closed Sep 20, 2024

• Methods on primitive integers get mixed

  #6106 closed Sep 20, 2024

• SSA: Extra mem2reg pass causing failures for UHashMap

  #5897 closed Sep 19, 2024

• Numeric generics on trait methods results in failure to unify types

  #6100 closed Sep 19, 2024

• Only use u32s for memory addresses

  #4161 closed Sep 19, 2024

• Types cannot be unquoted to call static methods

  #6078 closed Sep 18, 2024

• NoirJS doesn't report return values when doing witness gen on a function with databus (return_data)

  #5715 closed Sep 18, 2024

• Cannot specify a non-u32 numeric generic for a struct

  #6082 closed Sep 18, 2024

• global type is not inferred from usage when used in a type

  #6081 closed Sep 18, 2024

• Unquoting a numeric type fails to parse

  #6077 closed Sep 18, 2024

• Using an untyped global as array length crashes the compiler

  #6046 closed Sep 18, 2024

• Docs for `Field` methods are out of date and fail to compile

  #6070 closed Sep 17, 2024

• Failed Assert error message in comptime can display call stack out of order

  #6065 closed Sep 17, 2024

• Incorrect compiler error when value returned after a code block uses unnecessary parentheses

  #4677 closed Sep 17, 2024

• Add overload for unary `-` operator to call `std::ops::Neg`

  #4984 closed Sep 17, 2024

• keccak proptest is flakey

  #5884 closed Sep 17, 2024

• Add type checking for numeric kinds

  #5447 closed Sep 17, 2024

• Remove implicit numeric generics

  #5156 closed Sep 17, 2024

• `use $typ` statements can be unquoted in ilegal positions

  #6059 closed Sep 17, 2024

• `Quoted::as_...` doesn't consume all tokens

  #5803 closed Sep 17, 2024

• Inliner panics with databus with `All Value::Instructions should already be known during inlining`

  #5705 closed Sep 17, 2024

• Add `derive` to the stdlib

  #5628 closed Sep 17, 2024

• Quoting certain expressions (`if`, `unsafe`) back into a fn body makes it an invalid block

  #6060 closed Sep 17, 2024

• Allow traits to declare unconstrained functions

  #5717 closed Sep 17, 2024

• Remove unused `TypeVariableKind::Constant`

  #6052 closed Sep 17, 2024

• Support "pub" for structs and traits

  #4775 closed Sep 17, 2024

• LSP sometimes can't find module when hovering over it

  #5662 closed Sep 17, 2024

13 Issues opened by 6 people

• Add fuzz tests to show equivalence between stdlib cryptographic functions and rust implementations

  #6141 opened Sep 24, 2024

• Document `noirfmt.toml`

  #6136 opened Sep 23, 2024

• `std::hash::keccak256` cannot hash more than a single block (136 bytes input)

  #6130 opened Sep 23, 2024

• `Field` computed to be larger than `u32::MAX` with arithmetic generics panics

  #6126 opened Sep 23, 2024

• Using large `Field`'s in numeric generics fails with "array length too large"

  #6125 opened Sep 23, 2024

• Mem2reg regression after changes to remove underflows

  #6124 opened Sep 23, 2024

• Correctness issue with reference counters

  #6123 opened Sep 23, 2024

• nargo fmt crashes on non-ascii characters at line end

  #6108 opened Sep 19, 2024

• Investigate usage of "big add" gates in the bb dsl folder

  #6085 opened Sep 18, 2024

• Consider an aliasing restriction to make mem2reg easier

  #6069 opened Sep 17, 2024

• `--show-ssa` stack overflows on large input

  #6068 opened Sep 17, 2024

• Synchronize `TypeVariableKind` and `Kind`

  #6067 opened Sep 17, 2024

• Improve unused struct warning

  #6055 opened Sep 17, 2024

8 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• feat: add more `Type` and `UnresolvedType` methods

  #5994 commented on Sep 23, 2024 • 2 new comments

• Attempt SSA optimizations on zero-argument functions first

  #5839 commented on Sep 17, 2024 • 0 new comments

• Debugger enters both the "then" and the "else" statement of a single "if"

  #5922 commented on Sep 18, 2024 • 0 new comments

• Docs contains dead links

  #5407 commented on Sep 19, 2024 • 0 new comments

• Trait where clause isn't type-checked

  #6023 commented on Sep 20, 2024 • 0 new comments

• JS packages failed to publish

  #5573 commented on Sep 23, 2024 • 0 new comments

• chore: switch to pedersen in Noir

  #5789 commented on Sep 20, 2024 • 0 new comments

• chore: Release Noir(0.35.0)

  #6030 commented on Sep 24, 2024 • 0 new comments