Update std::math::u64 according to the new u32 refactoring

CHANGELOG.md

@@ -12,6 +12,7 @@
 #### Stdlib
 - Introduced `std::utils` module with `is_empty_word` procedure.  Refactored `std::collections::smt`
   and `std::collections::smt64` to use the procedure (#1107).
+- Removed `checked` versions of the instructions in the `std::math::u64` module (#1142). 
 
 #### VM Internals
 - Introduced the `Event` decorator and an associated `on_event` handler on the `Host` trait (#1119).

assembly/README.md

@@ -43,7 +43,7 @@ use.std::math::u64
 begin
     push.1.0
     push.2.0
-    exec.u64::checked_add
+    exec.u64::wrapping_add
 end
 ```
 

assembly/src/ast/tests.rs

@@ -898,7 +898,7 @@ fn test_ast_program_serde_imports_serialized() {
     begin
         push.0
         push.1
-        exec.u64::checked_add
+        exec.u64::wrapping_add
     end";
     assert_correct_program_serialization(source, true);
 }
@@ -912,7 +912,7 @@ fn test_ast_program_serde_imports_not_serialized() {
     begin
         push.0
         push.1
-        exec.u64::checked_add
+        exec.u64::wrapping_add
     end";
     assert_correct_program_serialization(source, false);
 }
@@ -926,7 +926,7 @@ fn test_ast_module_serde_imports_serialized() {
     proc.foo.2
         push.0
         push.1
-        exec.u64::checked_add
+        exec.u64::wrapping_add
     end";
     assert_correct_module_serialization(source, true);
 }
@@ -940,7 +940,7 @@ fn test_ast_module_serde_imports_not_serialized() {
     proc.foo.2
         push.0
         push.1
-        exec.u64::checked_add
+        exec.u64::wrapping_add
     end";
     assert_correct_module_serialization(source, false);
 }

docs/src/user_docs/assembly/code_organization.md

@@ -107,7 +107,7 @@ use.std::math::u64
 begin
     push.1.0
     push.2.0
-    exec.u64::checked_add
+    exec.u64::wrapping_add
 end
 ```
 In the above example we import `std::math::u64` module from the [standard library](../stdlib/main.md). We then execute a program which pushes two 64-bit integers onto the stack, and then invokes a 64-bit addition procedure from the imported module.
@@ -156,7 +156,7 @@ const.ADDR_1=3
 
 begin
     push.CONSTANT_1.CONSTANT_2
-    exec.u64::checked_add
+    exec.u64::wrapping_add
     mem_store.ADDR_1
 end