refactor: rework procs invocation

0xPolygonMiden · Aug 28, 2024 · 814e470 · 814e470
1 parent 66b360f
commit 814e470
Show file tree

Hide file tree

Showing 14 changed files with 842 additions and 512 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## 0.6.0 ()
+
+### Changes
+
+- [BREAKING] Kernel procedures now have to be invoked using `dynexec` instruction (#803).
+
 ## 0.5.0 (2024-08-27)
 
 ### Features

diff --git a/docs/architecture/transactions/contexts.md b/docs/architecture/transactions/contexts.md
@@ -70,7 +70,7 @@ The [account API](https://github.com/0xPolygonMiden/miden-base/blob/main/miden-l
 #! Add the specified asset to the vault.
 #! ...
 export.add_asset
-    exec.mem::account_vault_add_asset_ptr
+    exec.kernel_invocation::account_vault_add_asset_offset
     syscall.exec_kernel_proc
 end
 ```