Skip to content

v0.8.0
Compare
Choose a tag to compare
@kevaundray kevaundray released this 07 Jul 13:11
v0.8.0
d9e346e
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.8.0 (2023-07-07)

⚠ BREAKING CHANGES

  • ssa_refactor: Add Slices (#1728)
  • nargo: Make proving and verification keys optional (#1880)
  • update to ACVM 0.16.0 (#1863)

Features

  • add signed division (#1831) (d0894ad)
  • allow main to be a brillig function (#1861) (1330a2a)
  • brillig: implemented blackbox functions (#1788) (f9f38de)
  • brillig: wrap brillig fns to be top level (1330a2a)
  • defunctionalization pass for ssa refactor (#1870) (1d5d84d)
  • driver: Remove Driver struct and refactor functions to take Context (#1867) (8895853)
  • driver: Remove Driver struct and refactor functions to take context (8895853)
  • lsp: Add a codelens that runs test when clicked (#1835) (5d64f8a)
  • make array indexes polymophic integers (#1877) (0fc93fa)
  • make use of type information when serialising inputs (#1655) (310368d)
  • recursion working in brillig (#1854) (e55b5a8)
  • ssa refactor: Implement first-class references (#1849) (e5773e4)
  • ssa_refactor: Add Slices (#1728) (4bee979)
  • update to ACVM 0.16.0 (#1863) (9c89def)

Bug Fixes

  • crates: do not process relative dependencies twice (#1856) (b2e71bb)
  • lsp: Ensure stdlib is always added before the check_crate phase (#1840) (cb607f5)
  • lsp: Ensure that stdlib is always added to the driver during the check_crate phase (cb607f5)
  • Prevent comparisons from being used on Fields (#1860) (c8858fd)
  • ssa refactor: Add missed call to resolve (#1817) (fa9be1d)
  • ssa refactor: Fix recursive call to create_value_from_type (#1815) (890a63b)
  • ssa refactor: Prevent stores in 'then' branch from affecting the 'else' branch (#1827) (e068fd4)

Miscellaneous Chores

  • nargo: Make proving and verification keys optional (#1880) (be36c1e)
Assets 9
Loading