Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
81 commits
Select commit Hold shift + click to select a range
672fe5f
refactor: update MAST package structure for project assembly
bobbinth Mar 20, 2026
9a46ed4
wip(project): add support for storing linked kernel in section of pac…
bitwalker Mar 20, 2026
135f627
fix(package): tighten up deserialization of packages to catch duplica…
bitwalker Mar 21, 2026
33d7593
test: add some adversarial tests for kernel sections in packages
bitwalker Mar 21, 2026
dd17118
Merge pull request #2886 from 0xMiden/bobbin-mast-package
bitwalker Mar 21, 2026
9018c89
wip: project registry
bitwalker Mar 17, 2026
aa0630d
wip: implement project assembly
bitwalker Mar 17, 2026
5861ccf
feat: enable project assembly for core library
bitwalker Mar 18, 2026
c192eb5
fix(assembly): link executables against kernel target in same project
bitwalker Mar 18, 2026
972f916
test(assembly): add integration test for project assembly
bitwalker Mar 18, 2026
972cb9e
fix(project): incoherent Eq/Ord impls for Version
bitwalker Mar 19, 2026
3fbdf42
fix(assembly): ensure assembler cache takes into account target suffix
bitwalker Mar 19, 2026
1eaa10b
fix(project): ensure profile inheritance overwrites existing instance…
bitwalker Mar 19, 2026
ab535f7
ci: remove default features of tempfile crate
bitwalker Mar 19, 2026
624d008
ci: fix cargo-deny warnings
bitwalker Mar 19, 2026
e181723
chore: fix unused symbol warnings in certain feature combos
bitwalker Mar 19, 2026
39e3ec7
ci: fix no-std build
bitwalker Mar 19, 2026
c6f8fa3
chore: move all target_arch=wasm32 gates to target_family=wasm
bitwalker Mar 19, 2026
38c4206
test(project): validate that version equality issue in #2879 is not r…
bitwalker Mar 19, 2026
ef96633
wip: add test for bug which ignores version information of source pac…
bitwalker Mar 19, 2026
ea5388a
wip: improve handling of registered package versions and relationship…
bitwalker Mar 19, 2026
08c7d1b
fix(project): make version set containment semantics consistent with …
bitwalker Mar 19, 2026
f11e12b
test(project): add regression test for workspace profile inheritance
bitwalker Mar 19, 2026
cc62b03
wip: specify and document existing behavior and semantic gaps
bitwalker Mar 20, 2026
090c246
fix(project): improve handling of multiple semantic versions, same di…
bitwalker Mar 20, 2026
7fe92dd
fix(assembly): typo in empty kernel assertion in link_with_kernel
bitwalker Mar 20, 2026
95b2206
fix(assembly): incorrect filtering of kernel exports in link_package
bitwalker Mar 20, 2026
ad0f5c3
fix(project): parsing of inherited workspace metadata, e.g. version
bitwalker Mar 20, 2026
7a6b7e8
fix(project): quirk in parent workspace search when passing a dir vs …
bitwalker Mar 20, 2026
99b15a0
fix(project): ensure assembled executable packages preserve kernel co…
bitwalker Mar 20, 2026
59a852d
fix(project): loss of workspace context when loading dependencies fro…
bitwalker Mar 20, 2026
0863cbe
fix(project): ensure source provenance includes the dependency closure
bitwalker Mar 20, 2026
72248d0
fix(project): ensure build profile is included in source provenance
bitwalker Mar 20, 2026
2f58161
fix(project): propagate kernel packages transitively up the dependenc…
bitwalker Mar 20, 2026
9a468cf
fix(project): ensure version set intersection does not unintentionall…
bitwalker Mar 20, 2026
7f83236
fix(project): reject duplicate workspace member names
bitwalker Mar 21, 2026
0cde5c7
fix(project): ensure workspace members are distinct from workspace-re…
bitwalker Mar 21, 2026
33ae6c0
fix(project): check provenance against registered artifacts before reuse
bitwalker Mar 21, 2026
dc3b1ed
test: add some adversarial tests for project assembly
bitwalker Mar 21, 2026
288a4dc
processor: expose advice, memory and transcript
djolertrk Mar 23, 2026
f33b1d3
fix(project): enforce single canonical artifact per semver rule in re…
bitwalker Mar 23, 2026
4d7e099
fix(project): avoid compatibility issues with too-recent --revision f…
bitwalker Mar 23, 2026
3c14b54
chore: break out project assembly tests from project module
bitwalker Mar 23, 2026
1b60fa4
Merge pull request #2901 from walnuthq/pr/expose-api-for-debugger
bitwalker Mar 25, 2026
db4ba4b
fix(project): preserve inherited workspace dependency version require…
bitwalker Mar 25, 2026
57dcee3
fix(project): handle indexed-but-unreadable artifacts, and rebuild fr…
bitwalker Mar 25, 2026
fdaf9bc
chore: add license section to package-registry README
bitwalker Mar 27, 2026
1bcf37b
doc: elaborate on release profile config in core lib project
bitwalker Mar 27, 2026
6417305
chore: typo in link_with_kernel comment
bitwalker Mar 27, 2026
8ad2cda
chore: remove absolute paths in linker/library.rs, move type alias to…
bitwalker Mar 27, 2026
58695f9
feat(package): provide convenience function for emitting to .masp file
bitwalker Mar 27, 2026
8d7b6d5
chore(assembly): split out AssemblerError/Product into new modules
bitwalker Mar 27, 2026
050bef3
chore: tighten up product conversions, and document their temporary n…
bitwalker Mar 27, 2026
65e2164
chore: add kernel-related utilities to Package API
bitwalker Mar 27, 2026
78e83ee
chore: move register_debug_type to new module to simplify assembler.rs
bitwalker Mar 27, 2026
821705f
chore: break out proc debug info emission into helper
bitwalker Mar 27, 2026
4137d96
chore: fix up lint warnings
bitwalker Mar 27, 2026
312bfc3
chore: move DebugInfoSections into debuginfo module
bobbinth Mar 27, 2026
e0ed1b4
fix(project): ensure debug info sections are appended to package
bitwalker Mar 27, 2026
f4bb8bb
chore: convert some target gates to unused expectations gated on target
bitwalker Mar 27, 2026
858d5ea
chore: move PackageBuildProvenance into a separate file
bobbinth Mar 27, 2026
88e4065
doc(assembly): explain purpose and use of PackageBuildProvenance
bitwalker Mar 27, 2026
7ef89fb
chore: move ProjectTargetSelector into a separate file
bobbinth Mar 27, 2026
cb77023
chore: remove duplicate kernel_runtime_dependency function
bobbinth Mar 27, 2026
0b0c919
doc(package): explain kernel_runtime_dependency
bitwalker Mar 27, 2026
30e98b4
chore: move package-related functionality into an extension trait
bobbinth Mar 27, 2026
71af7db
refactor: crete DependencyGraph wrapper
bobbinth Mar 28, 2026
c1d9305
refactor: broke out runtime dependencies into a separate file
bobbinth Mar 28, 2026
c071fd9
refactor: simplified procedure debuginfo registration
bobbinth Mar 28, 2026
6490854
chore: moved runtime package merging into a separate file
bobbinth Mar 28, 2026
bcad2de
Merge branch 'main' into bitwalker/project-assembler
bobbinth Mar 28, 2026
54732d2
fix: globally resolve registry dependencies
bitwalker Mar 28, 2026
9be47c4
fix: emit package debug sections from build state
bitwalker Mar 28, 2026
94c5395
fix: trim emitted debug source paths
bitwalker Mar 28, 2026
8801f17
fix: resolve workspace manifest file references
bitwalker Mar 28, 2026
2327f4a
Merge pull request #2877 from 0xMiden/bitwalker/project-assembler
bitwalker Mar 30, 2026
492f333
chore: increment crate versions to v0.22.1
bobbinth Apr 7, 2026
94eb205
chore: fix lints
bobbinth Apr 7, 2026
b59f1d0
chore: fix lints
bobbinth Apr 7, 2026
a31c171
Merge origin/main into next
huitseeker Apr 13, 2026
2fb10fd
Merge branch 'next' into huitseeker/merge/main-into-next-reconciled
huitseeker Apr 13, 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
7 changes: 6 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,12 @@

- Fixed stale `ReplayProcessor` doc comment links to `ExecutionTracer` after module-structure refactors.

## 0.22.0 (2025-03-18)
## 0.22.1 (2026-04-07)

- Implemented project assembly ([#2877](https://github.com/0xMiden/miden-vm/pull/2877)).
- Added `FastProcessor::into_parts()` to extract advice provider, memory, and precompile transcript after step-based execution ([#2901](https://github.com/0xMiden/miden-vm/pull/2901)).

## 0.22.0 (2026-03-18)

#### Enhancements

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# program to be executed, so we store that into procedure local memory, and then dyncall it
@locals(4)
proc invoke_user_script
loc_storew_be.0
loc_storew_le.0
locaddr.0
dyncall
end
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# program to be executed, so we store that into procedure local memory, and then dyncall it
@locals(4)
proc invoke_user_script
loc_storew_be.0
loc_storew_le.0
locaddr.0
dyncall
end
Expand Down
4 changes: 2 additions & 2 deletions crates/assembly/tests/fixtures/protocol/kernel/kernel/io.masm
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
const PRINTLN = 0
const PRINTLN = event("sys.println")

#! Prints the given null-terminated byte string to stdout, if debug tracing is enabled
pub proc println(message: ptr<u8, addrspace(byte)>)
trace.PRINTLN
emit.PRINTLN
drop
end
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,11 @@ const PRINTLN_ADDR = SYSCALL_TABLE_ADDR + 2
#! Initializes the kernel environment
pub proc init
procref.is_valid_syscall
mem_storew_be.SYSCALL_TABLE_ADDR
mem_storew_le.SYSCALL_TABLE_ADDR
procref.$kernel::sys::panic
mem_storew_be.PANIC_ADDR
mem_storew_le.PANIC_ADDR
procref.$kernel::io::println
mem_storew_be.PRINTLN_ADDR
mem_storew_le.PRINTLN_ADDR
end

#! Execute one of this kernel's syscalls
Expand All @@ -24,7 +24,7 @@ pub proc system_call
# validate syscall id
dup.0 mem_load.SYSCALL_TABLE_ADDR dynexec
# invoke the syscall
add.SYSCALL_TABLE_ADDR mem_loadw_be dynexec
add.SYSCALL_TABLE_ADDR mem_loadw_le dynexec
end

proc is_valid_syscall
Expand Down
Loading