docs: update docs and changelog

0xPolygonMiden · Oct 24, 2023 · 01c8f07 · 01c8f07
1 parent 98e4787
commit 01c8f07
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 45 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,7 @@
 #### Assembly
 - Expanded capabilities of the `debug` decorator. Added `debug.mem` and `debug.local` variations.
 - Introduced the `emit.<event_id>` assembly instruction (#1119).
+- All `checked` versions of the u32 instructions were removed. All `unchecked` versions were renamed: this mode specification was removed from their titles.
 
 #### Stdlib
 - Introduced `std::utils` module with `is_empty_word` procedure.  Refactored `std::collections::smt` 

diff --git a/docs/src/tools/repl.md b/docs/src/tools/repl.md
@@ -47,13 +47,13 @@ The `!program` command prints out the entire Miden program being executed. E.g.,
 ```
 >> push.1.2.3.4
 >> repeat.16 pow2 end
->> u32checked_add
+>> u32wrapping_add
 
 >> !program
 begin
     push.1.2.3.4
     repeat.16 pow2 end
-    u32checked_add
+    u32wrapping_add
 end
 ```
 
@@ -64,7 +64,7 @@ The `!stack` command prints out the state of the stack at the last executed inst
 ```
 >> push.1 push.2 push.3 push.4 push.5
 >> exp
->> u32checked_mul
+>> u32wrapping_mul
 >> swap
 >> eq.2
 >> assert