Skip to content
Open
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion crates/vm/src/arch/config.rs
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ where
}

pub trait VmExecutionConfig<F> {
type Executor: AnyEnum + Send + Sync;
type Executor: AnyEnum;

fn create_executors(&self)
-> Result<ExecutorInventory<Self::Executor>, ExecutorInventoryError>;
Expand Down
7 changes: 2 additions & 5 deletions crates/vm/src/arch/interpreter_preflight.rs
Original file line number Diff line number Diff line change
Expand Up @@ -102,16 +102,13 @@ impl<F: Field, E> PreflightInterpretedInstance<F, E> {
}

pub fn filtered_execution_frequencies(&self) -> Vec<u32>
where
E: Send + Sync,
{
let base_idx = get_pc_index(self.pc_base);
self.pc_handler
.par_iter()
.enumerate()
.zip_eq(&self.execution_frequencies)
.skip(base_idx)
.filter(|(_, entry)| entry.is_some())
.map(|(i, _)| self.execution_frequencies[i])
.filter_map(|(entry, freq)| entry.is_some().then_some(*freq))
.collect()
}

Expand Down
Loading