Skip to content

v1.0.0-beta.3

Choose a tag to compare

View all tags
@noirwhal noirwhal released this 20 Feb 20:54
v1.0.0-beta.3
ceaa198
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

1.0.0-beta.3 (2025-02-20)

⚠ BREAKING CHANGES

  • make ResolverError::OracleMarkedAsConstrained into a full error (#7426)
  • remove bigint from stdlib (#7411)
  • Only decrement the counter of an array if its address has not changed (#7297)

Features

  • FunctionDefinition::as_typed_expr (#7358) (97afa52)
  • acir_field: Add little-endian byte serialization for FieldElement (#7258) (f37eedc)
  • Add native u128 type (#7301) (8783e48)
  • Allow unquoting TraitConstraint in trait impl position (#7395) (40d2763)
  • brillig: Hoist shared constants across functions to the global space (#7216) (8652072)
  • ci: Publish binaries for noir-profiler (#7443) (af5e4cd)
  • ci: Release noir-inspector in binaries (#7464) (7a9c8c1)
  • cli: Add --target-dir option (#7350) (1b6ba5d)
  • cli: Add noir-execute binary (#7384) (fdfe2bf)
  • experimental: Compile match expressions (#7312) (4c3dee1)
  • experimental: Show macro errors where they happen (#7333) (04dd6d9)
  • LSP hover for integer literals (#7368) (967ab5f)
  • LSP: Auto-import via visible reexport (#7409) (9b03217)
  • Optimize FieldElement::num_bits (#7147) (44c35dc)
  • performance: Check sub operations against induction variables (#7356) (7cdce1f)
  • performance: Use unchecked ops based upon known induction variables (#7344) (10b377f)
  • Remove bigint from stdlib (#7411) (31cc6a1)
  • Require safety comments instead of safety doc comments (#7295) (e895feb)
  • Simplify assertions that squared values are equal to zero (#7432) (5d19109)
  • While statement (#7280) (582f56e)

Bug Fixes

  • brillig: Brillig entry point analysis and function specialization through duplication (#7277) (119bf62)
  • cli: Only lock the packages selected in the workspace (#7345) (f0ce5c5)
  • Do not discard negative sign from field literals in comptime interpreter (#7439) (1d04f8b)
  • Don't let nargo fmt produce multiple trailing newlines (#7444) (093a8ec)
  • Field zero division in brillig (#7386) (e73f8cd)
  • Format global attributes (#7401) (b7ace68)
  • Give "correct" error when trying to use AsTraitPath (#7360) (8f20392)
  • Incorrect secondary file in LSP errors (#7347) (5d782f0)
  • Let LSP read noirfmt.toml for formatting files (#7355) (81b86e2)
  • Only decrement the counter of an array if its address has not changed (#7297) (93d1740)
  • performance: Remove redundant slice access check from brillig (#7434) (49a095d)
  • Prevent incorrect ACIRgen caused by noop truncations (#7456) (1fa9b33)
  • Require loop/for/while body to be unit (#7437) (13a7309)
  • ssa: Accurately mark binary ops for hoisting and check Div/Mod against induction variable lower bound (#7396) (64890c0)
  • ssa: Do not deduplicate division by a zero constant (#7393) (38eeee3)
  • ssa: Make the lookback feature opt-in (#7190) (31becc6)

Miscellaneous Chores

  • Make ResolverError::OracleMarkedAsConstrained into a full error (#7426) (40184eb)
Assets 12
Loading