fmt

Author: tcoratger

crates/lean_vm/src/core/constants.rs

@@ -25,4 +25,4 @@ pub const POSEIDON_24_NULL_HASH_PTR: usize = 5;
 pub const PUBLIC_INPUT_START: usize = 6 * 8;
 
 /// Maximum memory size for VM runner
-pub const MAX_RUNNER_MEMORY_SIZE: usize = 1 << 20;
+pub const MAX_RUNNER_MEMORY_SIZE: usize = 1 << 20;

crates/lean_vm/src/core/mod.rs

@@ -4,4 +4,4 @@ pub mod constants;
 pub mod types;
 
 pub use constants::*;
-pub use types::*;
+pub use types::*;

crates/lean_vm/src/core/types.rs

@@ -9,4 +9,4 @@ pub type F = KoalaBear;
 pub type EF = QuinticExtensionFieldKB;
 
 /// Location in source code for debugging
-pub type LocationInSourceCode = usize;
+pub type LocationInSourceCode = usize;

crates/lean_vm/src/diagnostics/error.rs

@@ -2,7 +2,9 @@
 
 use crate::core::F;
 use crate::execution::Memory;
-use crate::witness::{WitnessDotProduct, WitnessMultilinearEval, WitnessPoseidon16, WitnessPoseidon24};
+use crate::witness::{
+    WitnessDotProduct, WitnessMultilinearEval, WitnessPoseidon16, WitnessPoseidon24,
+};
 use thiserror::Error;
 
 /// Errors that can occur during VM execution
@@ -56,4 +58,3 @@ impl ExecutionResult {
         true
     }
 }
-

crates/lean_vm/src/execution/memory.rs

@@ -1,6 +1,6 @@
 //! Memory management for the VM
 
-use crate::core::{EF, F, DIMENSION, VECTOR_LEN, MAX_RUNNER_MEMORY_SIZE};
+use crate::core::{DIMENSION, EF, F, MAX_RUNNER_MEMORY_SIZE, VECTOR_LEN};
 use crate::diagnostics::RunnerError;
 use p3_field::{BasedVectorSpace, PrimeCharacteristicRing};
 use rayon::prelude::*;
@@ -156,4 +156,4 @@ impl Memory {
     pub fn slice(&self, start: usize, len: usize) -> Result<Vec<F>, RunnerError> {
         (0..len).map(|i| self.get(start + i)).collect()
     }
-}
+}

crates/lean_vm/src/execution/mod.rs

@@ -6,4 +6,4 @@ pub mod runner;
 
 pub use context::*;
 pub use memory::*;
-pub use runner::*;
+pub use runner::*;

crates/lean_vm/src/isa/bytecode.rs

@@ -1,7 +1,7 @@
 //! Bytecode representation and management
 
-use super::operands::Hint;
 use super::Instruction;
+use super::operands::Hint;
 use std::collections::BTreeMap;
 use std::fmt::{Display, Formatter};
 
@@ -56,4 +56,4 @@ impl Display for Bytecode {
         }
         Ok(())
     }
-}
+}

crates/lean_vm/src/isa/mod.rs

@@ -2,13 +2,13 @@
 
 pub mod bytecode;
 pub mod instruction;
-pub mod operation;
 pub mod operands;
+pub mod operation;
 
 pub use bytecode::*;
 pub use instruction::*;
-pub use operation::*;
 pub use operands::*;
+pub use operation::*;
 
 /// String label for bytecode locations
-pub type Label = String;
+pub type Label = String;

crates/lean_vm/src/isa/operands/mod.rs

@@ -1,11 +1,11 @@
 //! VM operand types and addressing modes
 
+pub mod hint;
 pub mod mem_or_constant;
 pub mod mem_or_fp;
 pub mod mem_or_fp_or_constant;
-pub mod hint;
 
+pub use hint::*;
 pub use mem_or_constant::*;
 pub use mem_or_fp::*;
 pub use mem_or_fp_or_constant::*;
-pub use hint::*;

crates/lean_vm/src/isa/operation.rs

@@ -42,4 +42,4 @@ impl Display for Operation {
             Self::Mul => write!(f, "x"),
         }
     }
-}
+}