Skip to content

v0.10.4

Pre-release
Pre-release
Compare
Choose a tag to compare
@kevaundray kevaundray released this 29 Aug 20:02
v0.10.4
b55f399
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

0.10.4 (2023-08-29)

Features

  • Add assert_eq keyword (#2137) (b467a2d)
  • Add test(should_fail) attribute for tests that are meant to fail (#2418) (74af99d)
  • Add syntax for specifying function type environments (#2357) (495a479)
  • Add trait definition representation in DefCollector and HIR (#2338) (406a595)
  • attributes: Enable custom attributes (#2395) (179611b)
  • brillig: Added locations for brillig artifacts (#2415) (3771e52)
  • Create equivalence relationships for intermediate witnesses from multiplication (#2414) (cc2a2d8)
  • frontend: Aztec syntactic sugar (feature flagged) (#2403) (a894a6e)
  • nargo: Support optional directory in git dependencies (#2436) (84fdc55)
  • Perform more checks for compile-time arithmetic (#2380) (1be2b1e)
  • Report compilation warnings before errors (#2398) (a1d1267)
  • ssa: Merge slices in if statements with witness conditions (#2347) (76f7e43)
  • ssa: Reuse existing results for duplicated instructions with no side-effects (#2460) (93726c4)
  • Standard library functions can now be called with closure args (#2471) (feb8d0e)
  • Syntax for environment types now works with generics (#2383) (4609c1a)
  • Update to acvm 0.22.0 (#2363) (e050fab)
  • Use equivalence information from equality assertions to simplify circuit (#2378) (ec5b021)

Bug Fixes

  • acir_gen: Pass accurate contents to slice inputs for bb func calls (#2435) (054642b)
  • acir: Attach locations to MemoryOps in ACIR (#2389) (d7d7f22)
  • Closure lvalue capture bugfix (#2457) (632006a)
  • Correct off-by-one errors in lexer spans (#2393) (bbda9b0)
  • Divide by zero should fail to satisfy constraints for Field and ints (#2475) (1b85816)
  • Implement handling of array aliasing in the mem2reg optimization pass (#2463) (7123fa9)
  • Implement new mem2reg pass (#2420) (7714cd0)
  • lsp: Remove duplicated creation of lenses (#2433) (41b568d)
  • parser: Fixes for the parsing of 'where' clauses (#2430) (fa31015)
  • Remove duplicate T in expected T, found T error on tuple assignment (#2360) (c964ee8)
  • Run wasm nodejs tests with no fails (#2387) (67b6710)
  • Show types in error message in same order as in source code (#2353) (feebee4)
  • ssa: Codegen missing check for unary minus (#2413) (1435a86)
  • ssa: Do not optimize for allocates in constant folding (#2466) (9e272f3)
  • ssa: Remove padding from ToRadix call with constant inputs (#2479) (37bb781)
Assets 9
Loading