v0.19.3

0.19.3 (2023-11-22)

Features

• Add debugger commands to introspect (and modify) the current state (#3391) (9e1ad85)
• Add LSP command to profile opcodes in vscode (#3496) (6fbf77a)
• Add lsp formatting (#3433) (286c876)
• Allow providing custom foreign call executors to execute_circuit (#3506) (d27db33)
• Compile without a backend (#3437) (d69cf5d)
• Enable the fmt command in the help menu (#3328) (63d414c)
• Handle constant index operations on simple slices (#3464) (7ae12f8)

Bug Fixes

• "Missing trait impl" error in trait dispatch (#3440) (52daaec)
• Adding proving key initialization (#3322) (3383740)
• Allow where clause on all functions and improve error message (#3465) (1647e33)
• Apply predicate to over/underflow checks (#3494) (fc3edf7)
• debugger: Step through foreign calls and breakpoints inside Brillig blocks (#3511) (5d77d7a)
• Fix crash when using undeclared traits (#3509) (8bb095a)
• Match rust behaviour for left-shift overflow (#3518) (2d7ceb1)
• Verify impls arising from function calls exist (#3472) (d7f919d)