Formatting

Author: satiscugcat

testable-simd-models/src/abstractions/bit.rs

@@ -184,7 +184,6 @@ macro_rules! generate_umachine_integer_impls {
 generate_imachine_integer_impls!(i8, i16, i32, i64, i128);
 generate_umachine_integer_impls!(u8, u16, u32, u64, u128);
 
-
 impl Bit {
     fn of_raw_int(x: u128, nth: u32) -> Self {
         if x / 2u128.pow(nth) % 2 == 1 {

testable-simd-models/src/abstractions/bitvec.rs

@@ -4,7 +4,6 @@ use super::funarr::*;
 
 use std::fmt::Formatter;
 
-
 // TODO: this module uses `u128/i128` as mathematic integers. We should use `hax_lib::int` or bigint.
 
 /// A fixed-size bit vector type.
@@ -36,14 +35,12 @@ fn bit_slice_to_string(bits: &[Bit]) -> String {
         .into()
 }
 
-
 impl<const N: u64> core::fmt::Debug for BitVec<N> {
     fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), std::fmt::Error> {
         write!(f, "{}", bit_slice_to_string(&self.0.as_vec()))
     }
 }
 
-
 impl<const N: u64> core::ops::Index<u64> for BitVec<N> {
     type Output = Bit;
     fn index(&self, index: u64) -> &Self::Output {
@@ -120,14 +117,11 @@ impl<const N: u64> BitVec<N> {
     }
 }
 
-
 impl<const N: u64> BitVec<N> {
-
     pub fn chunked_shift<const CHUNK: u64, const SHIFTS: u64>(
         self,
         shl: FunArray<SHIFTS, i128>,
     ) -> BitVec<N> {
-
         fn chunked_shift<const N: u64, const CHUNK: u64, const SHIFTS: u64>(
             bitvec: BitVec<N>,
             shl: FunArray<SHIFTS, i128>,

testable-simd-models/src/abstractions/funarr.rs

@@ -52,7 +52,6 @@ impl<const N: u64, T> FunArray<N, T> {
     }
 }
 
-
 impl<const N: u64, T: Clone> TryFrom<Vec<T>> for FunArray<N, T> {
     type Error = ();
     fn try_from(v: Vec<T>) -> Result<Self, ()> {
@@ -64,17 +63,15 @@ impl<const N: u64, T: Clone> TryFrom<Vec<T>> for FunArray<N, T> {
     }
 }
 
-
 impl<const N: u64, T: core::fmt::Debug + Clone> core::fmt::Debug for FunArray<N, T> {
     fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
         write!(f, "{:?}", self.as_vec())
     }
 }
 
-
 impl<const N: u64, T> core::ops::Index<u64> for FunArray<N, T> {
     type Output = T;
-    
+
     fn index(&self, index: u64) -> &Self::Output {
         self.get(index)
     }