Skip to content

Commit

Permalink
chore: fix some typos in comments
Browse files Browse the repository at this point in the history
Signed-off-by: largemouth <[email protected]>
  • Loading branch information
largemouth committed Apr 22, 2024
1 parent d12e98c commit 893ef2b
Show file tree
Hide file tree
Showing 5 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion code_producers/src/c_elements/common/circom.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ For every template instantiation create two functions:
Every name_run or circom_function has:
=====================================
//array of PFrElements for auxiliars in expression computation (known size);
//array of PFrElements for auxiliarys in expression computation (known size);
PFrElements expaux[];
//array of PFrElements for local vars (known size)
Expand Down
4 changes: 2 additions & 2 deletions compiler/src/circuit_design/function.rs
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ impl WriteWasm for FunctionCodeInfo {
instructions.push(format!("(local {} i32)", producer.get_call_lvar_tag()));
instructions.push(format!(" (local {} i32)", producer.get_merror_tag()));
let local_info_size_u32 = producer.get_local_info_size_u32();
//set lvar (start of auxiliar memory for vars)
//set lvar (start of auxiliary memory for vars)
instructions.push(set_constant("0"));
instructions.push(load32(None)); // current stack size
let var_start = local_info_size_u32 * 4; // starts after local info
Expand All @@ -61,7 +61,7 @@ impl WriteWasm for FunctionCodeInfo {
instructions.push(add32());
}
instructions.push(set_local(producer.get_lvar_tag()));
//set expaux (start of auxiliar memory for expressions)
//set expaux (start of auxiliary memory for expressions)
instructions.push(get_local(producer.get_lvar_tag()));
let var_stack_size = self.max_number_of_vars * 4 * (producer.get_size_32_bits_in_memory()); // starts after vars
instructions.push(set_constant(&var_stack_size.to_string()));
Expand Down
4 changes: 2 additions & 2 deletions compiler/src/circuit_design/template.rs
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,7 @@ impl WriteWasm for TemplateCodeInfo {
instructions.push(format!(" (local {} i32)", producer.get_create_loop_counter_tag()));
instructions.push(format!(" (local {} i32)", producer.get_merror_tag()));
let local_info_size_u32 = producer.get_local_info_size_u32(); // in the future we can add some info like pointer to run father or text father
//set lvar (start of auxiliar memory for vars)
//set lvar (start of auxiliary memory for vars)
instructions.push(set_constant("0"));
instructions.push(load32(None));
let var_start = local_info_size_u32 * 4; // starts after local info
Expand All @@ -109,7 +109,7 @@ impl WriteWasm for TemplateCodeInfo {
instructions.push(add32());
}
instructions.push(set_local(producer.get_lvar_tag()));
//set expaux (start of auxiliar memory for expressions)
//set expaux (start of auxiliary memory for expressions)
instructions.push(get_local(producer.get_lvar_tag()));
let var_stack_size = self.var_stack_depth * 4 * (producer.get_size_32_bit() + 2); // starts after vars
instructions.push(set_constant(&var_stack_size.to_string()));
Expand Down
2 changes: 1 addition & 1 deletion compiler/src/intermediate_representation/store_bucket.rs
Original file line number Diff line number Diff line change
Expand Up @@ -355,7 +355,7 @@ impl WriteC for StoreBucket {
format!("&{}->signalValues[{} + {}]", CIRCOM_CALC_WIT, sub_cmp_start, dest_index.clone())
}
};
//keep dest_index in an auxiliar if parallel and out put
//keep dest_index in an auxiliary if parallel and out put
if let AddressType::Signal = &self.dest_address_type {
if parallel.unwrap() && self.dest_is_output {
prologue.push(format!("{{"));
Expand Down
2 changes: 1 addition & 1 deletion constraint_generation/src/execute.rs
Original file line number Diff line number Diff line change
Expand Up @@ -315,7 +315,7 @@ fn execute_statement(
}

if !needs_double_arrow.is_empty() && flags.inspect{
// in case we can subsitute the complete expression to ==>
// in case we can substitute the complete expression to ==>
if needs_double_arrow.len() == AExpressionSlice::get_number_of_cells(&constrained.right){
let err : Result<(),ExecutionWarning> =
Result::Err(ExecutionWarning::CanBeQuadraticConstraintSingle());
Expand Down

0 comments on commit 893ef2b

Please sign in to comment.