Skip to content

Tracking PR for v0.19.0 release #2197

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

Jump to bottom
Draft
wants to merge 48 commits into
base: main
Choose a base branch
from
Draft

Tracking PR for v0.19.0 release #2197

wants to merge 48 commits into from

Conversation

bobbinth
Copy link
Contributor

This is a tracking PR for v0.19.0 release

@bobbinth
Copy link
Contributor Author

Not sure why no-std build on nightly is failing. Seems like CI is trying to build it with Rust 1.89 - but I can't find where this is set (and why this is happening specifically for nightly which should be Rust 1.92).

@huitseeker
feat: add before_enter and after_exit decorators to BasicBlockNode (#…
bed310d 
…2167)

* fix: simplify the signature of block creation

Block-creating functions used to take operations: Vec<Operation>, decorators: Option<DecoratorList>.

but:
- the None argument was only used in tests, with the exception of the placeholder Noop inserted to differentiate empty-body procedures,
- Vectors don't allocate until an element is pushed into them (see https://doc.rust-lang.org/std/vec/struct.Vec.html#method.new)

This simplifies the signatures to take a operations: Vec<Operation>, decorators: DecoratorList.

* feat: name DecoratedOpLink for (usize, DecoratorId)

* feat: add before_enter and after_exit decorators to BasicBlock

Adds dedicated decorator lists for pre- and post-execution decorators to BasicBlockNode,

This:
- simplifies decorator execution logic across the MAST system and enables potential removal of Instruction::Nop (see #1979),,
- is a necessary prequel to hoisting the basic block's inner decorators storage in a centralized `MastForest`-level cache (see #1776),

Closes #1979.

* test: test decorator iterators

* chore: Changelog

* feat: extensive decorator execution tests

Tests exactly-once semantics of various decorators in the `BasicBlockNode`, depending on their source (inner, before_enter, after_exit, ...).
Refactors the `ConsistencyHost` into a `TestConsistencyHost` that also tracks decorator (and in our examples, trace) operations.

* doc: address review comments
@huitseeker
test: instances of Arbitrary for MastNodeForest & BasicBlockNode (#2200)
b4f8e01 
* test: Add Arbitrary for BasicBlockNode

* bench: Add serde rountrip tests on relevant structs

* bench: add bench for MastForest merging

* chore: Changelog
@huitseeker
feat: allow parsing odd-length representations of hex numbers (#2196)
dd61f9d 
* feat: allow entering odd-length representations of hex numbers through padding

* chore: Changelog
@huitseeker
chore: fix link checker job to ignore error-generating link and creat…
cdff8e9 
…e issues on failure (#2230)

- Add GNU make manual URL exclusion to lychee.toml to prevent 429 errors
- Set fail-fast=false in CI workflow to allow job to continue after link failures
@strmfos @huitseeker
fix: guard parsing of hex words against missing 0x prefix (#2245)
03b9f77 
* fix: guard parsing of hex words against missing 0x prefix

* test: add unit tests for parse_word hex prefix validation

* chore: changelog

---------

Co-authored-by: François Garillot <francois@garillot.net>
plafer and others added 7 commits October 7, 2025 11:42
@plafer
chore(fast processor): record mast forest resolution in dyn operations
f975c97 
Previously, we would only do it for external nodes. Accordingly, we adjusted the naming in the `Tracer` trait to reflect
that we are no longer only recording external node resolutions.
@plafer
chore(core): add convenience methods to OpBatch
6b6be41 
These will be useful for managing batch/group/operation indices
in trace generation.
@plafer
feat: Introduce NoopHost
c5b7e3d 
This will be useful in parallel trace generation, when using `Processor::execute_sync_op`
that requires a Host, but we are not actually getting any data from a host (we are
getting it from replays instead).
@plafer
feat: initial implementation of parallel processor (core trace only)
0116a90
@plafer
chore: bump slow test timeout period
29a6557
@plafer
chore(test): skip large traces in CI
bba4e21
@plafer
Merge pull request #1839 from 0xMiden/plafer-1558-parallel-tracegen
b3fa2a3 
Implement parallel trace generation for the system, stack and decoder columns
@huitseeker
feat: systematize u32 Vector Indexes (#2254)
68eac51 
* refactor: Introduce `IndexedVec` and `DenseIdMap` for type-safe u32-indexed Vector handling

Adds Idx trait, IndexVec for O(1) indexed access, and DenseIdMap for efficient
ID remapping. Replaces u32/usize aliases with newtype IDs for MastNodeId and
DecoratorId, preventing accidental id mixing and omissions of bounds check.

DenseIdMap provides faster merges than BTreeMap via direct array indexing
(O(1) vs O(lg n)).

* refactor: move crate to miden-utils

* feat: apply IndexedVec to SourceId

* feat: apply IndexedVec to RowIndex

* refactor: make the DenseIdMap non-reallocating

* chore: Changelog

* fix: answer review comments

* fix: address review comments
@plafer
Merge pull request #2270 from 0xMiden/plafer-processor-stack-hotfix
fa14b77 
chore: place the fast processor stack on the heap instead of the stack
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.