Skip to content

feat: direct DebugInfo serialization (3/3) #2470

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
huitseeker merged 19 commits into from
Jan 7, 2026
Merged

feat: direct DebugInfo serialization (3/3) #2470

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
2c3a675
feat(core): add CSR validation to OpToDecoratorIds
huitseeker Dec 14, 2025
04f6f16
feat(core): add CSR validation to NodeToDecoratorIds
huitseeker Dec 14, 2025
f2b7029
feat(core): add validation method to DebugInfo
huitseeker Dec 14, 2025
7274bce
feat(core): implement Serializable for DebugInfo
huitseeker Dec 14, 2025
413ea33
feat(core): implement Deserializable for DebugInfo
huitseeker Dec 14, 2025
4a13c7f
feat(core): use direct DebugInfo serialization in MastForest
huitseeker Dec 14, 2025
8dc158a
feat(core): implement builder-based deserialization for MastForest
huitseeker Dec 14, 2025
ebb8952
test(core): add comprehensive DebugInfo serialization tests and CSR h…
huitseeker Dec 14, 2025
08289d1
chore: Changelog
huitseeker Dec 14, 2025
6a66b4b
doc(core): update serialization magic number changelog
huitseeker Dec 14, 2025
e34f0c8
refactor(debuginfo): improve API and code organization
huitseeker Dec 15, 2025
2df9442
refactor: address review feedback
huitseeker Dec 15, 2025
ade4dfb
refactor: decorator_storage/mod.rs -> decorator_storage.rs
huitseeker Jan 7, 2026
ae8ad0e
refactor: move procedure name validation to MastForest::validate
huitseeker Jan 7, 2026
e3a8a46
fix: comment on decorator_count
huitseeker Jan 7, 2026
98074d1
chore: remove superfluous saturating_sub
huitseeker Jan 7, 2026
633bf9d
refactor: address review comments on DebugInfo serialization
huitseeker Jan 7, 2026
90133ee
feat(utils-indexing): implement Serializable/Deserializable for IndexVec
huitseeker Jan 7, 2026
7dc6b6e
refactor: serialize CSR indptr arrays as usize directly
huitseeker Jan 7, 2026
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
1 change: 1 addition & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@
- Added validation of `core_trace_fragment_size` in `ExecutionOptions` ([#2528](https://github.com/0xMiden/miden-vm/pull/2528)).
- [BREAKING] Change serialization of `BasicBlockNode`s to use padded indices ([#2466](https://github.com/0xMiden/miden-vm/pull/2466/)).
- Change padded serialization of `BasicBlockNode`s to use delta-encoded metadata ([#2469](https://github.com/0xMiden/miden-vm/pull/2469/)).
- Change (de)serialization of `MastForest` to directly (de)serialize DebugInfo ([#2470](https://github.com/0xMiden/miden-vm/pull/2470/)).

## 0.20.2 (TBD)
- Fix issue where decorator access was not bypassed properly in release mode ([#2529](https://github.com/0xMiden/miden-vm/pull/2529)).
Expand Down
1 change: 1 addition & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

822 changes: 165 additions & 657 deletions core/src/mast/debuginfo/decorator_storage.rs
View file
Open in desktop

Large diffs are not rendered by default.

Loading