From 3dea2a732a7603ef94b4a9c266f2f96f8dba8b71 Mon Sep 17 00:00:00 2001 From: aritkulova Date: Fri, 14 Aug 2026 17:42:41 +0300 Subject: [PATCH] fixed typo: `split to` -> `split into` --- simf/lib/u16/convert.simf | 2 +- simf/lib/u32/convert.simf | 4 ++-- simf/lib/u8/convert.simf | 2 +- simf/u16_convert_test.simf | 4 ++-- simf/u32_convert_test.simf | 8 ++++---- simf/u8_convert_test.simf | 4 ++-- tests/u16_convert_test.rs | 6 +++--- tests/u32_convert_test.rs | 12 ++++++------ tests/u8_convert_test.rs | 6 +++--- 9 files changed, 24 insertions(+), 24 deletions(-) diff --git a/simf/lib/u16/convert.simf b/simf/lib/u16/convert.simf index f1a3b9f..34b4b15 100644 --- a/simf/lib/u16/convert.simf +++ b/simf/lib/u16/convert.simf @@ -27,7 +27,7 @@ pub fn u16_to_u256(a: u16) -> u256 { /// Splitting uint conversions /// Splits u16 into two u8 -pub fn split_u16_to_u8(a: u16) -> (u8, u8) { +pub fn split_u16_into_u8(a: u16) -> (u8, u8) { ::into(a) } diff --git a/simf/lib/u32/convert.simf b/simf/lib/u32/convert.simf index b5028bb..4145570 100644 --- a/simf/lib/u32/convert.simf +++ b/simf/lib/u32/convert.simf @@ -22,12 +22,12 @@ pub fn u32_to_u256(a: u32) -> u256 { /// Splitting uint conversions /// Splits u32 into four u8 -pub fn split_u32_to_u8(a: u32) -> (u8, u8, u8, u8) { +pub fn split_u32_into_u8(a: u32) -> (u8, u8, u8, u8) { ::into(a) } /// Splits u32 into two u16 -pub fn split_u32_to_u16(a: u32) -> (u16, u16) { +pub fn split_u32_into_u16(a: u32) -> (u16, u16) { ::into(a) } diff --git a/simf/lib/u8/convert.simf b/simf/lib/u8/convert.simf index fee231c..bfe9bc4 100644 --- a/simf/lib/u8/convert.simf +++ b/simf/lib/u8/convert.simf @@ -32,7 +32,7 @@ pub fn u8_to_u256(a: u8) -> u256 { /// Splitting uint conversions /// Splits u8 into eight u1 -pub fn split_u8_to_u1(a: u8) -> (u1, u1, u1, u1, u1, u1, u1, u1) { +pub fn split_u8_into_u1(a: u8) -> (u1, u1, u1, u1, u1, u1, u1, u1) { ::into(a) } diff --git a/simf/u16_convert_test.simf b/simf/u16_convert_test.simf index 7a59769..20beff3 100644 --- a/simf/u16_convert_test.simf +++ b/simf/u16_convert_test.simf @@ -3,7 +3,7 @@ use crate::lib::u16::convert::{ u16_to_u64, u16_to_u128, u16_to_u256, - split_u16_to_u8, + split_u16_into_u8, safe_u16_to_u1, safe_u16_to_u8 }; @@ -55,7 +55,7 @@ fn main() { match if_test_this_function(4, fn_idx) { true => { - let (a1, a0): (u8, u8) = split_u16_to_u8(a); + let (a1, a0): (u8, u8) = split_u16_into_u8(a); let (_, _, _, expected): (u64, u64, u64, u64) = ::into(expected); let expected: u16 = jet::rightmost_64_16(expected); diff --git a/simf/u32_convert_test.simf b/simf/u32_convert_test.simf index af21275..b8dedee 100644 --- a/simf/u32_convert_test.simf +++ b/simf/u32_convert_test.simf @@ -2,8 +2,8 @@ use crate::lib::u32::convert::{ u32_to_u64, u32_to_u128, u32_to_u256, - split_u32_to_u8, - split_u32_to_u16, + split_u32_into_u8, + split_u32_into_u16, safe_u32_to_u1, safe_u32_to_u8, safe_u32_to_u16 @@ -46,7 +46,7 @@ fn main() { match if_test_this_function(3, fn_idx) { true => { - let (a3, a2, a1, a0): (u8, u8, u8, u8) = split_u32_to_u8(a); + let (a3, a2, a1, a0): (u8, u8, u8, u8) = split_u32_into_u8(a); let (_, _, _, expected): (u64, u64, u64, u64) = ::into(expected); let expected: u32 = jet::rightmost_64_32(expected); @@ -67,7 +67,7 @@ fn main() { match if_test_this_function(4, fn_idx) { true => { - let (a1, a0): (u16, u16) = split_u32_to_u16(a); + let (a1, a0): (u16, u16) = split_u32_into_u16(a); let (_, _, _, expected): (u64, u64, u64, u64) = ::into(expected); let expected: u32 = jet::rightmost_64_32(expected); diff --git a/simf/u8_convert_test.simf b/simf/u8_convert_test.simf index 928baf8..f272a6c 100644 --- a/simf/u8_convert_test.simf +++ b/simf/u8_convert_test.simf @@ -4,7 +4,7 @@ use crate::lib::u8::convert::{ u8_to_u64, u8_to_u128, u8_to_u256, - split_u8_to_u1, + split_u8_into_u1, safe_u8_to_u1 }; // use crate::lib::u256::{split_256_into_64}; TODO: uncomment when u256 functions are merged @@ -75,7 +75,7 @@ fn main() { a2, a1, a0 - ): (u1, u1, u1, u1, u1, u1, u1, u1) = split_u8_to_u1(a); + ): (u1, u1, u1, u1, u1, u1, u1, u1) = split_u8_into_u1(a); let (_, _, _, expected): (u64, u64, u64, u64) = ::into(expected); let expected: u8 = jet::rightmost_64_8(expected); diff --git a/tests/u16_convert_test.rs b/tests/u16_convert_test.rs index f9c222d..56c6a0a 100644 --- a/tests/u16_convert_test.rs +++ b/tests/u16_convert_test.rs @@ -15,7 +15,7 @@ enum FunctionToTest { U16ToU64, U16ToU128, U16ToU256, - SplitU16ToU8, + SplitU16IntoU8, SafeU16ToU1, SafeU16ToU8, } @@ -105,14 +105,14 @@ mod u16_convert_test { } #[simplex::test] - fn u16_convert_test_split_u16_to_u8(context: simplex::TestContext) -> anyhow::Result<()> { + fn u16_convert_test_split_u16_into_u8(context: simplex::TestContext) -> anyhow::Result<()> { let a = rand::thread_rng().gen_range(0..=u16::MAX); run( &context, program(), build_witness( - op(FunctionToTest::SplitU16ToU8), + op(FunctionToTest::SplitU16IntoU8), a, U256::from(a).to_big_endian(), ), diff --git a/tests/u32_convert_test.rs b/tests/u32_convert_test.rs index 860cab9..1ed57be 100644 --- a/tests/u32_convert_test.rs +++ b/tests/u32_convert_test.rs @@ -14,8 +14,8 @@ enum FunctionToTest { U32ToU64, U32ToU128, U32ToU256, - SplitU32ToU8, - SplitU32ToU16, + SplitU32IntoU8, + SplitU32IntoU16, SafeU32ToU1, SafeU32ToU8, SafeU32ToU16, @@ -90,14 +90,14 @@ mod u32_convert_test { } #[simplex::test] - fn u32_convert_test_split_u32_to_u8(context: simplex::TestContext) -> anyhow::Result<()> { + fn u32_convert_test_split_u32_into_u8(context: simplex::TestContext) -> anyhow::Result<()> { let a = rand::thread_rng().gen_range(0..=u32::MAX); run( &context, program(), build_witness( - op(FunctionToTest::SplitU32ToU8), + op(FunctionToTest::SplitU32IntoU8), a, U256::from(a).to_big_endian(), ), @@ -106,14 +106,14 @@ mod u32_convert_test { } #[simplex::test] - fn u32_convert_test_split_u32_to_u16(context: simplex::TestContext) -> anyhow::Result<()> { + fn u32_convert_test_split_u32_into_u16(context: simplex::TestContext) -> anyhow::Result<()> { let a = rand::thread_rng().gen_range(0..=u32::MAX); run( &context, program(), build_witness( - op(FunctionToTest::SplitU32ToU16), + op(FunctionToTest::SplitU32IntoU16), a, U256::from(a).to_big_endian(), ), diff --git a/tests/u8_convert_test.rs b/tests/u8_convert_test.rs index 6331249..fac8c88 100644 --- a/tests/u8_convert_test.rs +++ b/tests/u8_convert_test.rs @@ -16,7 +16,7 @@ enum FunctionToTest { U8ToU64, U8ToU128, U8ToU256, - SplitU8ToU1, + SplitU8IntoU1, SafeU8ToU1, } @@ -121,14 +121,14 @@ mod u8_convert_test { } #[simplex::test] - fn u8_convert_test_split_u8_to_u1(context: simplex::TestContext) -> anyhow::Result<()> { + fn u8_convert_test_split_u8_into_u1(context: simplex::TestContext) -> anyhow::Result<()> { let a = rand::thread_rng().gen_range(0..=u8::MAX); run( &context, program(), build_witness( - op(FunctionToTest::SplitU8ToU1), + op(FunctionToTest::SplitU8IntoU1), a, U256::from(a).to_big_endian(), ),