Skip to content

Commit

Permalink
chore: fixing cargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
mw2000 committed Jun 18, 2024
1 parent 0fb8d9e commit c12b538
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 2 deletions.
4 changes: 3 additions & 1 deletion jolt-core/src/jolt/instruction/div.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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<const WORD_SIZE: usize>;
Expand Down
4 changes: 3 additions & 1 deletion jolt-core/src/jolt/instruction/rem.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit c12b538

Please sign in to comment.