Skip to content

Commit 5db943e

Browse files
robik75robik75
authored
chore: fix repository typos and extend typos config (#217)
## What ❔ - Run `typos` across the full repository and fix historical typos in source, tests, and docs. - Update `_typos.toml` to reduce false positives: - exclude binary/artifact files, - allowlist intentional DSL words (`INOT`, `inot`), - allowlist asm attribution/acronym words (`Wich`, `TRE`) only for asm files. - Rename typoed public constant `EXNTENDED_CONFIGURED_IV` -> `EXTENDED_CONFIGURED_IV` and update in-repo usages. ## Why ❔ - Typos CI currently checks changed files only, so historical typos remained in the repository. - This change cleans the backlog and makes full-repo typos checks reliable while keeping intentional words and generated/asm content noise-free. ## Is this a breaking change? - [x] Yes - [ ] No ## Checklist - [x] PR title corresponds to the body of PR (we generate changelog entries from PRs). - [ ] Tests for the changes have been added / updated. - [ ] Documentation comments have been added / updated. - [x] Code has been formatted.
1 parent c70e876 commit 5db943e

File tree

64 files changed

+200
-188
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

64 files changed

+200
-188
lines changed

‎_typos.toml‎

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,12 @@
22
extend-exclude = [
33
"*.json",
44
"*.lock",
5+
"*.bin",
6+
"*.elf",
7+
"*.pdf",
8+
"*.png",
9+
"*.text",
10+
"*.bak",
511
"*.svg",
612
".git/",
713
"SECURITY.md"
@@ -16,4 +22,10 @@ sie = "sie"
1622
Sie = "Sie"
1723
tou = "tou"
1824
leafs = "leafs"
19-
LEAFS = "LEAFS"
25+
LEAFS = "LEAFS"
26+
INOT = "INOT"
27+
inot = "inot"
28+
29+
[type.asm.extend-words]
30+
Wich = "Wich"
31+
TRE = "TRE"

‎blake2s_u32/src/lib.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ pub const CONFIGURED_IV: [u32; 8] = const {
5454
result
5555
};
5656

57-
pub const EXNTENDED_CONFIGURED_IV: [u32; BLAKE2S_EXTENDED_STATE_WIDTH_IN_U32_WORDS] = const {
57+
pub const EXTENDED_CONFIGURED_IV: [u32; BLAKE2S_EXTENDED_STATE_WIDTH_IN_U32_WORDS] = const {
5858
let mut result = [0u32; BLAKE2S_EXTENDED_STATE_WIDTH_IN_U32_WORDS];
5959
let mut i = 0;
6060
while i < 8 {
@@ -78,7 +78,7 @@ pub use self::state_with_extended_control::Blake2RoundFunctionEvaluator as Deleg
7878

7979
pub mod state_with_extended_control_flags {
8080
use crate::BLAKE2S_BLOCK_SIZE_BYTES;
81-
use crate::EXNTENDED_CONFIGURED_IV;
81+
use crate::EXTENDED_CONFIGURED_IV;
8282

8383
pub const REDUCE_ROUNDS_BIT_IDX: usize = 0;
8484
pub const INPUT_IS_RIGHT_NODE_BIT_IDX: usize = 1;
@@ -89,7 +89,7 @@ pub mod state_with_extended_control_flags {
8989
pub const TEST_IF_COMPRESSION_MODE_MASK: u32 = 1 << COMPRESSION_MODE_BIT_IDX;
9090

9191
pub const COMPRESSION_MODE_EXTENDED_CONFIGURED_IV: [u32; 16] = const {
92-
let mut result = EXNTENDED_CONFIGURED_IV;
92+
let mut result = EXTENDED_CONFIGURED_IV;
9393
result[12] ^= BLAKE2S_BLOCK_SIZE_BYTES as u32;
9494
result[14] ^= 0xffffffff;
9595

‎blake2s_u32/src/vectorized_impls/arm_neon.rs‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -128,25 +128,25 @@ impl State {
128128
use core::arch::aarch64::vld1q_u32;
129129

130130
Self([
131-
vld1q_u32(&EXNTENDED_CONFIGURED_IV[0] as *const u32),
132-
vld1q_u32(&EXNTENDED_CONFIGURED_IV[4] as *const u32),
133-
vld1q_u32(&EXNTENDED_CONFIGURED_IV[8] as *const u32),
134-
vld1q_u32(&EXNTENDED_CONFIGURED_IV[12] as *const u32),
131+
vld1q_u32(&EXTENDED_CONFIGURED_IV[0] as *const u32),
132+
vld1q_u32(&EXTENDED_CONFIGURED_IV[4] as *const u32),
133+
vld1q_u32(&EXTENDED_CONFIGURED_IV[8] as *const u32),
134+
vld1q_u32(&EXTENDED_CONFIGURED_IV[12] as *const u32),
135135
])
136136
}
137137

138138
#[inline(always)]
139139
unsafe fn partial_reset(&mut self) {
140140
use core::arch::aarch64::vld1q_u32;
141-
self.0[0] = vld1q_u32(&EXNTENDED_CONFIGURED_IV[0] as *const u32);
142-
self.0[1] = vld1q_u32(&EXNTENDED_CONFIGURED_IV[4] as *const u32);
141+
self.0[0] = vld1q_u32(&EXTENDED_CONFIGURED_IV[0] as *const u32);
142+
self.0[1] = vld1q_u32(&EXTENDED_CONFIGURED_IV[4] as *const u32);
143143
}
144144

145145
#[inline(always)]
146146
unsafe fn reset_for_round(&mut self, t: u32, is_last_round: bool) {
147147
use core::arch::aarch64::vld1q_u32;
148-
self.0[2] = vld1q_u32(&EXNTENDED_CONFIGURED_IV[8] as *const u32);
149-
let el = vld1q_u32(&EXNTENDED_CONFIGURED_IV[12] as *const u32);
148+
self.0[2] = vld1q_u32(&EXTENDED_CONFIGURED_IV[8] as *const u32);
149+
let el = vld1q_u32(&EXTENDED_CONFIGURED_IV[12] as *const u32);
150150
let xor_in = vld1q_u32(&[t, 0, (is_last_round as u32) * 0xffffffff, 0] as *const u32);
151151
use core::arch::aarch64::veorq_u32;
152152
let el = veorq_u32(el, xor_in);

‎circuit_defs/bigint_with_control/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

‎circuit_defs/blake2_with_compression/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

‎circuit_defs/final_reduced_risc_v_machine/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

‎circuit_defs/keccak_special5/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

‎circuit_defs/machine_without_signed_mul_div/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

‎circuit_defs/reduced_risc_v_log_23_machine/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

‎circuit_defs/reduced_risc_v_machine/verifier/src/tests.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ fn test_unified_cycle_or_delegation() {
7373
match result {
7474
Ok(..) => {}
7575
Err(err) => {
76-
panic!("Verifier thread failes with {}", err);
76+
panic!("Verifier thread fails with {}", err);
7777
}
7878
}
7979
}
@@ -133,7 +133,7 @@ fn test_unrolled_circuit() {
133133
match result {
134134
Ok(..) => {}
135135
Err(err) => {
136-
panic!("Verifier thread failes with {}", err);
136+
panic!("Verifier thread fails with {}", err);
137137
}
138138
}
139139
}

0 commit comments

Comments
 (0)