Skip to content

v0.7.0

Choose a tag to compare

View all tags
@fegge fegge released this 27 Mar 11:46
· 16 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.7.0
098cb5b
This commit was signed with the committer’s verified signature.
fegge Fredrik Dahlgren
SSH Key Fingerprint: zXaOWQywhTs+g6rPBaTXaXWICY/tri+r8YiUcMhGicU
Verified
Learn about vigilant mode.

Changes

  • Removed Address from the type lattice, simplifying it to a three-point chain Bool < U32 < Felt.
  • Added per-output-position typing for multi-output intrinsics.
  • Added passthrough type propagation: procedure outputs that pass through inputs unchanged now resolve their types from caller arguments at call sites.
  • Procedure visibility (pub/internal) is now tracked and rendered in decompiled output.
Assets 3
Loading