fix the typos

Author: howjmay

language/move-binary-format/src/check_bounds.rs

@@ -202,7 +202,7 @@ impl<'a> BoundsChecker<'a> {
         check_bounds_impl(self.view.identifiers(), function_handle.name)?;
         check_bounds_impl(self.view.signatures(), function_handle.parameters)?;
         check_bounds_impl(self.view.signatures(), function_handle.return_)?;
-        // function signature type paramters must be in bounds to the function type parameters
+        // function signature type parameters must be in bounds to the function type parameters
         let type_param_count = function_handle.type_parameters.len();
         if let Some(sig) = self
             .view

language/move-model/src/builder/module_builder.rs

@@ -216,7 +216,7 @@ impl<'env, 'translator> ModuleBuilder<'env, 'translator> {
 
     /// Creates a SpecBlockContext from the given SpecBlockTarget. The context is used during
     /// definition analysis when visiting a schema block member (condition, invariant, etc.).
-    /// This returns None if the SpecBlockTarget cannnot be resolved; error reporting happens
+    /// This returns None if the SpecBlockTarget cannot be resolved; error reporting happens
     /// at caller side.
     fn get_spec_block_context<'pa>(
         &self,
@@ -2925,7 +2925,7 @@ impl<'env, 'translator> ModuleBuilder<'env, 'translator> {
                     } else {
                         // This is calling a function from the module we are currently translating.
                         // Need to recursively ensure we have computed used_spec_vars because of
-                        // arbitrary call graphs, including cyclic. If visted_opt is not set,
+                        // arbitrary call graphs, including cyclic. If visited_opt is not set,
                         // we know we already computed this.
                         if let Some(visited) = &mut visited_opt {
                             self.compute_state_usage_and_callees_for_fun(visited, fid.as_usize());

language/move-model/src/lib.rs

@@ -79,7 +79,7 @@ pub fn run_model_builder<
 }
 
 /// Build the move model with default compilation flags and custom options and a set of provided
-/// named addreses.
+/// named addresses.
 /// This collects transitive dependencies for move sources from the provided directory list.
 pub fn run_model_builder_with_options<
     Paths: Into<MoveSymbol> + Clone,
@@ -386,7 +386,7 @@ fn script_into_module(compiled_script: CompiledScript) -> CompiledModule {
         }
     };
 
-    // Add a dummy adress if none exists.
+    // Add a dummy address if none exists.
     let dummy_addr = AccountAddress::new([0xff; AccountAddress::LENGTH]);
     let dummy_addr_idx = match script
         .address_identifiers

language/move-model/src/model.rs

@@ -514,7 +514,7 @@ pub struct GlobalEnv {
     pub intrinsics: IntrinsicsAnnotation,
     /// A type-indexed container for storing extension data in the environment.
     extensions: RefCell<BTreeMap<TypeId, Box<dyn Any>>>,
-    /// The address of the standard and extension libaries.
+    /// The address of the standard and extension libraries.
     stdlib_address: Option<BigUint>,
     extlib_address: Option<BigUint>,
 }
@@ -2285,12 +2285,12 @@ impl<'env> ModuleEnv<'env> {
     }
 
     /// Converts a constant to the specified type. The type must correspond to the expected
-    /// cannonical representation as defined in `move_core_types::values`
+    /// canonical representation as defined in `move_core_types::values`
     pub fn get_constant_value(&self, constant: &VMConstant) -> MoveValue {
         VMConstant::deserialize_constant(constant).unwrap()
     }
 
-    /// Return the `AccountAdress` of this module
+    /// Return the `AccountAddress` of this module
     pub fn self_address(&self) -> &AccountAddress {
         self.data.module.address()
     }
@@ -3272,7 +3272,7 @@ impl<'env> FunctionEnv<'env> {
         self.definition_view().visibility()
     }
 
-    /// Return true if the function is an entry fucntion
+    /// Return true if the function is an entry function
     pub fn is_entry(&self) -> bool {
         self.definition_view().is_entry()
     }
@@ -3308,7 +3308,7 @@ impl<'env> FunctionEnv<'env> {
 
     /// Returns true if the function is a script function
     pub fn is_script(&self) -> bool {
-        // The main function of a scipt is a script function
+        // The main function of a script is a script function
         self.module_env.is_script_module() || self.definition_view().is_entry()
     }
 

language/move-model/src/simplifier/mod.rs

@@ -19,7 +19,7 @@ mod pass_inline;
 pub use pass::SpecRewriter;
 use pass_inline::SpecPassInline;
 
-/// Available simplifications passes to run after tbe model is built
+/// Available simplifications passes to run after the model is built
 #[derive(Clone, Debug, Serialize, Deserialize)]
 pub enum SimplificationPass {
     Inline,

language/move-prover/boogie-backend/src/boogie_wrapper.rs

@@ -1518,7 +1518,7 @@ impl ModelValue {
             let struct_name = &boogie_struct_name(struct_env, inst);
             let values = self
                 .extract_list(struct_name)
-                // It appears sometimes keys are represented witout, sometimes with enclosing
+                // It appears sometimes keys are represented without, sometimes with enclosing
                 // bars?
                 .or_else(|| self.extract_list(&format!("|{}|", struct_name)))?;
             struct_env

language/move-prover/boogie-backend/src/bytecode_translator.rs

@@ -1193,7 +1193,7 @@ impl<'env> FunctionTranslator<'env> {
                             .iter()
                             .cloned()
                             .map(str_local)
-                            // Add implict dest returns for &mut srcs:
+                            // Add implicit dest returns for &mut srcs:
                             //  f(x) --> x := f(x)  if type(x) = &mut_
                             .chain(
                                 srcs.iter()

language/move-prover/bytecode/src/access_path.rs

@@ -770,7 +770,7 @@ impl AbsStructType {
         self.get_type().into_struct_tag(env)
     }
 
-    /// Substitue the open types in self.types with caller `type_actuals`
+    /// Substitute the open types in self.types with caller `type_actuals`
     pub fn substitute_footprint(&mut self, type_actuals: &[Type]) {
         for t in self.types.iter_mut() {
             *t = t.instantiate(type_actuals)

language/move-prover/bytecode/src/dataflow_domains.rs

@@ -268,7 +268,7 @@ impl<K: Ord + Clone, V: AbstractDomain + Clone + PartialEq> MapDomain<K, V> {
     /// but this is not available in OrdMap for obvious reasons (because entries are shared),
     /// so we need to use this pattern here instead.
     pub fn update_values(&mut self, mut f: impl FnMut(&mut V)) {
-        // Commpute the key-values which actually changed. If the change is small, we preserve
+        // Compute the key-values which actually changed. If the change is small, we preserve
         // structure sharing.
         let new_values = self
             .iter()

language/move-prover/bytecode/src/number_operation_analysis.rs

@@ -132,7 +132,7 @@ impl NumberOperationState {
     }
 }
 
-fn vector_table_funs_name_propogate_to_dest(callee_name: &str) -> bool {
+fn vector_table_funs_name_propagate_to_dest(callee_name: &str) -> bool {
     callee_name.contains("borrow")
         || callee_name.contains("borrow_mut")
         || callee_name.contains("pop_back")
@@ -142,15 +142,15 @@ fn vector_table_funs_name_propogate_to_dest(callee_name: &str) -> bool {
         || callee_name.contains("spec_get")
 }
 
-fn vector_funs_name_propogate_to_srcs(callee_name: &str) -> bool {
+fn vector_funs_name_propagate_to_srcs(callee_name: &str) -> bool {
     callee_name == "contains"
         || callee_name == "index_of"
         || callee_name == "append"
         || callee_name == "push_back"
         || callee_name == "insert"
 }
 
-fn table_funs_name_propogate_to_srcs(callee_name: &str) -> bool {
+fn table_funs_name_propagate_to_srcs(callee_name: &str) -> bool {
     callee_name == "add" || callee_name == "borrow_mut_with_default" || callee_name == "upsert"
 }
 
@@ -301,7 +301,7 @@ impl<'a> NumberOperationAnalysis<'a> {
                                     let oper_first =
                                         global_state.get_node_num_oper(args[0].node_id());
                                     // First argument is the target vector and the return type has the same NumberOperation type
-                                    if vector_table_funs_name_propogate_to_dest(&callee_name) {
+                                    if vector_table_funs_name_propagate_to_dest(&callee_name) {
                                         global_state.update_node_oper(*id, oper_first, true);
                                     } else {
                                         global_state.update_node_oper(*id, Bottom, allow_merge);
@@ -1035,7 +1035,7 @@ impl<'a> TransferFunctions for NumberOperationAnalysis<'a> {
                                     .get_temp_index_oper(cur_mid, cur_fid, srcs[0], baseline_flag)
                                     .unwrap();
                                 // Bitwise is specified explicitly in the fun or struct spec
-                                if vector_table_funs_name_propogate_to_dest(&callee_name) {
+                                if vector_table_funs_name_propagate_to_dest(&callee_name) {
                                     if *first_oper == Bitwise {
                                         // Do not consider the method remove_return_key where the first return value is k
                                         for dest in dests.iter() {
@@ -1050,7 +1050,7 @@ impl<'a> TransferFunctions for NumberOperationAnalysis<'a> {
                                     let mut second_oper = first_oper;
                                     let mut src_idx = 0;
                                     if module_env.is_std_vector()
-                                        && vector_funs_name_propogate_to_srcs(&callee_name)
+                                        && vector_funs_name_propagate_to_srcs(&callee_name)
                                     {
                                         assert!(srcs.len() > 1);
                                         second_oper = global_state
@@ -1062,7 +1062,7 @@ impl<'a> TransferFunctions for NumberOperationAnalysis<'a> {
                                             )
                                             .unwrap();
                                         src_idx = 1;
-                                    } else if table_funs_name_propogate_to_srcs(&callee_name) {
+                                    } else if table_funs_name_propagate_to_srcs(&callee_name) {
                                         assert!(srcs.len() > 2);
                                         second_oper = global_state
                                             .get_temp_index_oper(