Skip to content

Migrate miden-debug to VM 0.22#42

Merged
bitwalker merged 1 commit intonextfrom
migrate-vm-022
Mar 25, 2026
Merged

Migrate miden-debug to VM 0.22#42
bitwalker merged 1 commit intonextfrom
migrate-vm-022

Conversation

@greenhat
Copy link
Copy Markdown
Contributor

Migrate the debugger to the released VM 0.22 crate.

VM 0.22 no longer exposes the old block/end operations in the same way, so stop synthesizing frame/block transitions from those removed operations and let the debugger rely on the continuation/trace-event flow that still exists. #41 adds proper handling in this area but the purpose of this PR is to unblock the compiler release.

Bump the debugger to the released VM 0.22 crate set and adapt it to the updated execution model. VM 0.22 no longer exposes the old block/end operations in the same way, so stop synthesizing frame/block transitions from those removed operations and let the debugger rely on the continuation/trace-event flow that still exists.

Also update execution config tests for the new default expected cycle count introduced by VM 0.22 so the crate stays green under cargo test.
@greenhat greenhat requested review from bitwalker and djolertrk and removed request for bitwalker March 25, 2026 13:07
Copy link
Copy Markdown
Collaborator

@djolertrk djolertrk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

assert!(file.options.enable_debugging());
assert_eq!(file.options.max_cycles(), ExecutionOptions::MAX_CYCLES);
assert_eq!(file.options.expected_cycles(), 2048);
assert_eq!(file.options.expected_cycles(), ExecutionOptions::default().expected_cycles());
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@bitwalker bitwalker merged commit 582374f into next Mar 25, 2026
7 checks passed
@bitwalker bitwalker deleted the migrate-vm-022 branch March 25, 2026 17:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants