fix: forgot some changes, now it should be sufficient

.github/workflows/gh-pages.yml

@@ -3,7 +3,7 @@ name: Deploy Miden Assembly Playground
 on:
   push:
     branches:
-      - main
+      - dominik_forgot_some_procedures
 
 jobs:
   build:

examples/collatz.masm

@@ -14,7 +14,7 @@ begin
         if.true
             push.3 mul push.1 add
         else
-            push.2 u32checked_div
+            push.2 u32assert2 u32div
         end
         dup push.1 neq
     end

examples/comparison.masm

@@ -26,5 +26,5 @@ begin
 
     # Check if final result mod 2 is 0 or 1 (numer is either even or odd)
     push.2
-    u32checked_mod
+    u32assert2 u32mod
 end

examples/matrix_multiplication.masm

@@ -313,10 +313,10 @@ proc.matrix_multiply.0
 
         # add the padding
         # [[c, r, colC, writePtr], [words, readA, addrB, 0], acc, ...]
-        dup push.3 u32checked_and neq.0 while.true
+        dup push.3 u32assert2 u32and neq.0 while.true
             push.0 movdn.7
 
-            add.1 dup push.3 u32checked_and neq.0 
+            add.1 dup push.3 u32assert2 u32and neq.0 
         end
 
         # at this point there is a complete row of C's data on the stack. push

examples/standard_library.inputs

@@ -1,3 +1 @@
-{
-    "operand_stack": [""]
-}
+{}

examples/standard_library.masm

@@ -1,5 +1,5 @@
 # This is a basic program to demonstrate using modules from the standard library.
-# It pushes two u64 numbers onto the stack and then adds them.
+# It pushes two u64 numbers onto the stack and then checks which is bigger.
 # The numbers are placed on the stack by first pushing the low limb, then the high limb.
 
 # Import the u64 math module from the standard library.
@@ -11,6 +11,6 @@ begin
   # push the low limb then the high limb. a = 4294967299
   push.3.1
 
-  # a + b = 8589934595, represented by limbs c_hi = 2 and c_lo = 3
-  exec.u64::checked_add
+  # 3.1 is bigger than 0.1
+  exec.u64::max
 end

playground/src/components/DropDown.tsx

@@ -13,8 +13,8 @@ const examples = [
   'shamir_secret_share',
   'collatz',
   'comparison',
-  'matrix_multiplication',
   'nprime',
+  'matrix_multiplication',
   //'advice_provider',
   //'bsearch',
 ];