From c12b53843b4ead80c549dde1ffae2dbec9a8d604 Mon Sep 17 00:00:00 2001 From: mw2000 Date: Mon, 17 Jun 2024 17:15:41 -0700 Subject: [PATCH] chore: fixing cargo fmt --- jolt-core/src/jolt/instruction/div.rs | 4 +++- jolt-core/src/jolt/instruction/rem.rs | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/jolt-core/src/jolt/instruction/div.rs b/jolt-core/src/jolt/instruction/div.rs index e40555f9b..6acac272f 100644 --- a/jolt-core/src/jolt/instruction/div.rs +++ b/jolt-core/src/jolt/instruction/div.rs @@ -3,7 +3,9 @@ use tracer::{ELFInstruction, RVTraceRow, RegisterState, RV32IM}; use super::VirtualInstructionSequence; use crate::jolt::instruction::{ - add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction, virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction, virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction + add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction, + virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction, + virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction, }; /// Perform signed*unsigned multiplication and return the upper WORD_SIZE bits pub struct DIVInstruction; diff --git a/jolt-core/src/jolt/instruction/rem.rs b/jolt-core/src/jolt/instruction/rem.rs index 10d9049e3..35b954af9 100644 --- a/jolt-core/src/jolt/instruction/rem.rs +++ b/jolt-core/src/jolt/instruction/rem.rs @@ -3,7 +3,9 @@ use tracer::{ELFInstruction, RVTraceRow, RegisterState, RV32IM}; use super::VirtualInstructionSequence; use crate::jolt::instruction::{ - add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction, virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction, virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction + add::ADDInstruction, beq::BEQInstruction, mul::MULInstruction, + virtual_advice::ADVICEInstruction, virtual_assert_eq_signs::ASSERTEQSIGNSInstruction, + virtual_assert_lt_abs::ASSERTLTABSInstruction, JoltInstruction, }; /// Perform signed*unsigned multiplication and return the upper WORD_SIZE bits