Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1246 commits
Select commit Hold shift + click to select a range
3464ae7
refactor: switch to `expect_file!` in spills tests
greenhat Aug 28, 2025
9acba82
refactor: remove explicit symbol management
greenhat Aug 28, 2025
7a4aa65
Merge pull request #636 from 0xMiden/greenhat/i548-stack-oob
greenhat Aug 28, 2025
09eda9c
Fix bug with argument scheduler for binary ops.
otrho Aug 25, 2025
b35b514
Add 128-bit wide arithmetic support to the compiler.
otrho Jul 10, 2025
c90b2b3
Address PR comments with some extra comments.
otrho Aug 28, 2025
831ba1a
Add type aliases `Int128` for `SizedInt<128>`.
otrho Aug 30, 2025
679e5c9
Merge pull request #645 from 0xMiden/otrho/big-endian-128-bit-integers
otrho Sep 1, 2025
6fd81b5
refactor: pass profile options via `--config` flag to `cargo`
greenhat Aug 29, 2025
29a713f
feature: allow `cargo miden build` in a member of a workspace
greenhat Sep 1, 2025
ce1d48e
fix: disable `debug-assertions` in dev profile
greenhat Sep 1, 2025
7b12e8f
chore: update new project templates tag to v0.14.0
greenhat Sep 1, 2025
40270f6
Update ci.yml
0xstratus Sep 2, 2025
c85ae8e
Update release.yml
0xstratus Sep 2, 2025
369bc79
Merge pull request #654 from 0xMiden/i648-profile-via-option
bitwalker Sep 2, 2025
9f25a73
chore: run `release-plz update` and bump version to v0.4.1
greenhat Sep 3, 2025
5ef7c56
chore: update Cargo.lock and expected files after the version bump
greenhat Sep 3, 2025
41f151d
Merge pull request #655 from 0xstratus/next
bitwalker Sep 3, 2025
ed2be73
Merge pull request #657 from 0xMiden/release-plz-2025-sep-03
bitwalker Sep 3, 2025
7574dfc
fix: in `[dev-dependencies]` specify our crates with `path` only.
greenhat Sep 4, 2025
779fa0b
fix: remove rust-cache from the `releaze-plz publish` CI job
greenhat Sep 4, 2025
d7c28d9
Merge pull request #658 from 0xMiden/release-plz-2025-sep-04
bitwalker Sep 4, 2025
348a1fa
feature: try rlib stub for `miden::account::add_asset`
greenhat Aug 28, 2025
f92955b
feature: lower function stub to MASM procedure call
greenhat Aug 29, 2025
555259e
refactor: extract rlib stub compilation into the separate module
greenhat Aug 29, 2025
3813231
feature: convert `hmerge` intrinsic to use stub function instead of W…
greenhat Aug 29, 2025
4415629
feature: convert `add` felt intrinsic to use stub library instead of …
greenhat Aug 29, 2025
7048aa1
feature: convert all `intrinsics::felt` to use .rlib stub library
greenhat Sep 2, 2025
17e2233
chore: update expected files after rebase
greenhat Sep 2, 2025
58eddac
feature: convert the rest of the `intrinsics` to use .rlib stub library
greenhat Sep 2, 2025
49ed10f
refactor: don't hard-code file names of the .rlib stub library
greenhat Sep 2, 2025
568c001
feature: convert stdlib functions to use .rlib stub library
greenhat Sep 2, 2025
5fa82b1
feature: convert all the miden-base functions to use .rlib stub library
greenhat Sep 2, 2025
bcc1b2b
refactor: split .rlib stub library further into submodules
greenhat Sep 2, 2025
cb8f49a
chore: remove all the low-level Miden SDK WIT interface handling
greenhat Sep 2, 2025
bba9187
fix: update new project templates tag to v0.15.0
greenhat Sep 3, 2025
0c97713
refactor: move .rlib stub library compilation closer to rustc flags
greenhat Sep 3, 2025
7b77f32
refactor: move the miden-base-sys stubs into the crate's build.rs
greenhat Sep 4, 2025
1d5a10d
refactor: move the miden-stdlib-sys stubs into the crate's build.rs
greenhat Sep 4, 2025
7975d60
refactor: split and move the rlib stub library compilation and linkin…
greenhat Sep 5, 2025
23a1345
chore: update expected files after rebase
greenhat Sep 5, 2025
19b5fa6
refactor: ensure that a stub function body has only `unreachable` op;
greenhat Sep 5, 2025
1df6cd7
chore: clean commented code and clarify comments
greenhat Sep 5, 2025
37b2d48
chore: remove unused code
greenhat Sep 5, 2025
5dfbd9a
refactor: add error handling in module_translation_state.rs
greenhat Sep 5, 2025
e3c7682
fix: insure `cargo-binutils` are installed in build.rs handling stubs
greenhat Sep 5, 2025
18c17c4
refactor: extract abs path, remove redundant `RUSTFLAGS` `debuginfo` …
greenhat Sep 5, 2025
d6a13ea
chore: remove function skip list for `wit-bindgen` since we're not do…
greenhat Sep 5, 2025
bde8e22
Re-enabled the commented out `rust_masm_tests::types::test_enum` test.
otrho Sep 9, 2025
0d651ae
Merge pull request #665 from 0xMiden/otrho/reenable-types-enum-test
greenhat Sep 9, 2025
00bf2ae
feat: version bump miden-vm crates to version 0.17
lima-limon-inc Sep 1, 2025
402c4ad
feat: replace CompiledLibrary::from_dir with miden_assembly::Assemble…
lima-limon-inc Sep 1, 2025
a2d3844
feat: update codegen/masm/artifact.rs
lima-limon-inc Sep 1, 2025
d262b68
feat: use WordValue instead of raw Felt array
lima-limon-inc Sep 1, 2025
a13ee71
refactor: replace AdviceProvides with MemAdviceProvider
lima-limon-inc Sep 2, 2025
10c14da
update host.rs
lima-limon-inc Sep 2, 2025
5c4905a
chore: replace miden_processor::Digest in favor of miden_core::Word
lima-limon-inc Sep 2, 2025
d5d69ee
feat: update uses of `LineNumber` and `ColumnNumber`
lima-limon-inc Sep 12, 2025
6290987
feat: use new `Uri` struct for paths
lima-limon-inc Sep 12, 2025
ae43229
feat: update executor.rs
lima-limon-inc Sep 2, 2025
18b2129
refactor: replace uses of felt array with Word::new
lima-limon-inc Sep 2, 2025
3b4f117
feat: update source_code.rs
lima-limon-inc Sep 2, 2025
a376d95
feat: update executor.rs
lima-limon-inc Sep 2, 2025
be253b8
feat: update tests in debug
lima-limon-inc Sep 2, 2025
b39862a
feat: update helpers.rs and instructions.rs
lima-limon-inc Sep 2, 2025
2002c00
feat: update helpers.rs and rust_sdk.rs
lima-limon-inc Sep 2, 2025
34cd870
feat: update Client tests
lima-limon-inc Sep 3, 2025
1e2c83c
feat: fix bytes_from_words_test
lima-limon-inc Sep 3, 2025
7c4e7bc
fix: update VM's MAX_CYCLES
lima-limon-inc Sep 3, 2025
b8577ff
feat: update `DebuggerHost`
lima-limon-inc Sep 3, 2025
c3957c1
feat: update expected *.masm files with new assembler
lima-limon-inc Sep 4, 2025
1adcada
fix: recover wasm interfaces from the `LibraryExport
lima-limon-inc Sep 12, 2025
ef17186
feat: remove advice_map iteration from `load_mast_forest` function
lima-limon-inc Sep 12, 2025
ad9d4a1
refactor: use MastArtifact own serialization instead of delegating to…
lima-limon-inc Sep 12, 2025
5debaae
fix: update miden-node version to match the client's
lima-limon-inc Sep 11, 2025
badc1dd
fix: apply cargo clippy changes
lima-limon-inc Sep 11, 2025
8c05f08
chore: re-enable warnings
lima-limon-inc Sep 11, 2025
0f4f4ed
chore: add `Cargo.lock`s
lima-limon-inc Sep 12, 2025
219e939
chore!: version Miden SDK crates separately and set to v0.5.0
greenhat Sep 16, 2025
df18043
feature: add `RollupTarget::AuthComponent`
greenhat Sep 9, 2025
f4b5ff6
fix: don't export core Wasm function after lifting #667
greenhat Sep 9, 2025
b418339
fix: convert `auth-*` function names to snake case (`auth_*`)
greenhat Sep 9, 2025
afe485d
feature: implement no-auth authentication procedure
greenhat Sep 10, 2025
8dddef9
refactor: move auth-component-no-auth test project to `examples`
greenhat Sep 10, 2025
e398690
fix: fix the `incr_nonce` stub function signature,
greenhat Sep 10, 2025
ab27cbc
fix(workaround): rename `auth_*` function to `auth__*` to make miden-…
greenhat Sep 10, 2025
5c8d6fe
chore: add local network test for the no-auth authentication component
greenhat Sep 10, 2025
3dd2fc2
fix: make `init` procedure private
greenhat Sep 11, 2025
3d969b5
chore: formatting
greenhat Sep 11, 2025
825c2e5
fix: restore the RUSTFLAGS env var after running cargo in cargo-miden
greenhat Sep 11, 2025
e2c3a75
feature: add authentication component new project template to `cargo …
greenhat Sep 11, 2025
eb558cf
chore: remove extra comma in RUSTFLAGS, clean up dbg!
greenhat Sep 11, 2025
6fc2f3f
refactor: double underscore the whole auth procedure name `auth-proce…
greenhat Sep 11, 2025
4efe063
shore: update Cargo.lock after rebase
greenhat Sep 16, 2025
f4caede
Merge pull request #653 from 0xMiden/greenhat/i532-undefined-stub
bitwalker Sep 17, 2025
d15c18b
fix: move data segments merging to the codegen, preserving `readonly`…
greenhat Sep 10, 2025
7017024
Merge pull request #668 from 0xMiden/greenhat/i634-move-data-segment-…
greenhat Sep 17, 2025
19c185d
feature: `auth_rpo-falcon512` authentication component implemented in…
greenhat Sep 16, 2025
34927e2
feature: add intrinsic for `emit.FALCON_SIG_TO_STACK` #661
greenhat Sep 17, 2025
1b933a5
Merge branch 'next' into fabrizioorsi/update-vm-0.17
lima-limon-inc Sep 17, 2025
196afba
fix: fix conflicts in expected masm
lima-limon-inc Sep 17, 2025
16f98a2
Merge pull request #659 from lambdaclass/fabrizioorsi/update-vm-0.17
bitwalker Sep 17, 2025
911bb92
wip: add new struct type repr bigendian
bitwalker Sep 10, 2025
1192ebf
fix: set midenc-hir-type MSRV to same as miden-vm
bitwalker Sep 17, 2025
ef33c1f
Merge pull request #680 from 0xMiden/release-plz-hir-type-0.4.2
bitwalker Sep 17, 2025
69fc3f0
fix: revert words in `rpo_falcon512_verify` binding,
greenhat Sep 18, 2025
4b140a2
refactor: rename `rpo_falcon` module, fix doc comments
greenhat Sep 18, 2025
d6c86e3
fix: `cargo miden new` should skip `git init` if already in a git repo
greenhat Sep 19, 2025
1b51802
Merge pull request #683 from 0xMiden/greenhat/i675-new-optional-git-init
bitwalker Sep 19, 2025
d79ee15
Merge pull request #666 from 0xMiden/greenhat/i660-auth-proc
greenhat Sep 22, 2025
633742a
Merge pull request #678 from 0xMiden/greenhat/i534-auth-rpo-falcon
greenhat Sep 22, 2025
a07394d
fix: fix the build after merging #666 and #678 without rebasing
greenhat Sep 22, 2025
1cea5c5
Merge pull request #684 from 0xMiden/greenhat/fix-incorrect-merge
greenhat Sep 22, 2025
d51e505
feature: add `hash_words` in Miden SDK
greenhat Sep 25, 2025
f8797da
feature: migrate RPO Falcon512 auth component to miden-base v0.11
greenhat Sep 25, 2025
b1dad10
refactor: make arguments and result in `adv_push_mapvaln` to be `Felt`
greenhat Sep 25, 2025
1d27650
refactor: use `hash_words` instead of `hash_elements` in RPO Falcon512
greenhat Sep 25, 2025
3c28e75
Merge pull request #689 from 0xMiden/greenhat/i644-hash-memory-words
greenhat Sep 25, 2025
0f6dd73
Merge pull request #688 from 0xMiden/greenhat/migrate-auth-rpo-falcon
greenhat Sep 25, 2025
c13e96e
chore: migrate docs from mdbook to docusaurus
Keinberger Sep 26, 2025
43f8f6f
Refactor the stack used for solving stack operands.
otrho Aug 28, 2025
f0f07ce
Refactor binary operator argument scheduling.
otrho Aug 28, 2025
eb00d64
Address PR comments.
otrho Sep 4, 2025
17cce97
Add an assertion ensureing that the `TwoArgs` solver tactic runs first.
otrho Sep 5, 2025
48cf7c4
Improve the `TwoArgs` scheduler tactic some more.
otrho Sep 15, 2025
51db93e
Tweak the move/move scenario for `TwoArgs` to be slightly better.
otrho Sep 16, 2025
70b5067
wip(codegen): clean up TwoArgs tactic test code a bit
bitwalker Sep 26, 2025
c93649a
wip(codegen): minor refactoring of TwoArgs tactic and related code
bitwalker Sep 26, 2025
9d605d0
Merge pull request #656 from 0xMiden/otrho/refactor-two-args-scheduling
bitwalker Sep 27, 2025
d2bbb88
refactor: remove `llvm-ar` and use .rlib for stub libraries linking
greenhat Sep 29, 2025
8e19566
docs: remove redundant sidebar explainer comments
Keinberger Sep 30, 2025
fa9f22f
Merge pull request #693 from 0xMiden/greenhat/i687-remove-llvm-ar
bitwalker Sep 30, 2025
b130876
feature: draft `miden_generate!` macro and remove bindings generation…
greenhat Sep 26, 2025
6227a59
feature: load WIT dependencies from Cargo.toml in `miden_generate!` m…
greenhat Sep 26, 2025
92ee954
fix: migrate the rest of the `examples` to `miden_generate!` macro
greenhat Sep 26, 2025
8e01da1
fix: remove `wit-bindgen-rt` dep and use `wit-bindgen::rt`
greenhat Sep 26, 2025
33d4aab
fix: migrate the rest of the tests to `miden_generate!` macro
greenhat Sep 26, 2025
20d9ac4
feature: introduce `#[note_script]` attr macro to hide WIT layer
greenhat Sep 29, 2025
094d206
feature: introduce `#[tx_script]` attr macro that hide WIT layer
greenhat Sep 29, 2025
68271a8
refactor: inline `note_script` and `tx_script` modules
greenhat Sep 29, 2025
3d699f3
refactor: extract `#[component]` related functions and types into a
greenhat Sep 29, 2025
982c7db
chore: code clean up, add comment
greenhat Sep 30, 2025
ff07ddd
fix: switch to the updated new project templates with new macros
greenhat Sep 30, 2025
a1e5969
refactor: remove unused code in `cargo_miden::cargo_component`
greenhat Sep 30, 2025
87bc42a
fix: add "rt-multi-thread" feature to tokio
greenhat Sep 30, 2025
441c4c0
chore: update expected files after rebase
greenhat Sep 30, 2025
a3eaff4
refactor: rename `miden_generate!` macro to `generate!`
greenhat Oct 1, 2025
41926fa
Merge pull request #691 from 0xMiden/greenhat/i671-migrate-to-wit-bin…
greenhat Oct 1, 2025
48b97b3
feature: add `note::` `get_sender`, `get_script_root`, `get_serial_nu…
greenhat Oct 1, 2025
f018cfe
docs: fix naming for compiler md page
Keinberger Oct 2, 2025
f3cad5c
chore(Makefile): add commands for serving local docs
Keinberger Oct 2, 2025
08df0ed
chore: amend category Docusaurus files to YML to support comments
Keinberger Oct 2, 2025
0ac2eee
docs(README): add docs section explainer
Keinberger Oct 2, 2025
fcc8d18
chore: add build-docs workflow to check Docusaurus md syntax
Keinberger Oct 2, 2025
f36cb3e
chore: use specific ref for trigger deploy docs workflow
Keinberger Oct 2, 2025
c2ab35b
Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next
bitwalker Oct 2, 2025
678c6c6
Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migrati…
Keinberger Oct 3, 2025
99737c4
Merge pull request #700 from 0xMiden/revert-docs-merge
Keinberger Oct 3, 2025
711dd46
Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
Keinberger Oct 3, 2025
a1f698f
feat: enable == operator for AccountId type
partylikeits1983 Oct 6, 2025
e962799
Merge pull request #699 from 0xMiden/greenhat/i696-more-sdk-bindings
greenhat Oct 6, 2025
bca65c7
fix: expected wit files
partylikeits1983 Oct 6, 2025
61ee77f
Merge pull request #703 from 0xMiden/ajl-accountid-eq
bitwalker Oct 6, 2025
7b1ed4d
feat: add eq & debug attributes to protocol types
partylikeits1983 Oct 6, 2025
ed9db1b
Add a bitcast back to signed integer after a translating a `load` the…
otrho Oct 8, 2025
b61987b
Merge pull request #705 from 0xMiden/ajl-protocol-types-eq
greenhat Oct 8, 2025
484aec7
Merge pull request #706 from 0xMiden/otrho/bitcast-loads-to-i32
greenhat Oct 8, 2025
580483c
feature: remove explicit `miden.wit` dependency and use the one bundl…
greenhat Oct 8, 2025
de29a2f
refactor: clean up miden.wit materialization code
greenhat Oct 8, 2025
982a768
chore: update the git tag for new project templates
greenhat Oct 8, 2025
4757d18
refactor: move `wit-auto-generated` folder under the `target` folder
greenhat Oct 9, 2025
52d3621
refactor: `cargo-miden` to handle only it's own commands (new, build,…
greenhat Oct 9, 2025
813e7e8
Merge pull request #708 from 0xMiden/greenhat/i694-implicit-miden-wit
bitwalker Oct 9, 2025
7fd61a6
Merge pull request #709 from 0xMiden/greenhat/i320-refactor-cargo-miden
bitwalker Oct 9, 2025
f544778
chore: bump Miden SDK version to v0.6.0 and publish it
greenhat Oct 10, 2025
434b49b
Merge pull request #710 from 0xMiden/release-plz-sdk-0-6
bitwalker Oct 10, 2025
49ecd9b
fix: fallback to `CARGO_MANIFEST_DIR` env var to locate `target` folder
greenhat Oct 10, 2025
0c22c3a
Merge pull request #711 from 0xMiden/greenhat/fix-miden-wit-generate
bitwalker Oct 10, 2025
6aeb2e6
refactor: move `miden.wit` file to `miden-base-macros` crate.
greenhat Oct 13, 2025
8df6319
refactor: move cargo_publish_dry_run into a separate CI job
greenhat Oct 13, 2025
611f01b
Merge pull request #715 from 0xMiden/release-plz-sdk-0-6-take2
bitwalker Oct 13, 2025
6025aa1
chore: update new project templates tag to use the version with SDK v0.6
greenhat Oct 15, 2025
949b749
Fix a bug in mem::store_sw intrinsic which used incorect masks in una…
otrho Oct 15, 2025
160f599
Fix the same bug for mem::store_dw.
otrho Oct 16, 2025
8756ceb
refactor: unify core Wasm and component build process,
greenhat Oct 16, 2025
04c86db
Merge pull request #717 from 0xMiden/greenhat/update-new-proj-templat…
bitwalker Oct 16, 2025
b0ff752
Merge pull request #718 from 0xMiden/otrho/fix-mem-store_sw
bitwalker Oct 16, 2025
2ba36d9
chore: delete commented out non_component.rs
greenhat Oct 17, 2025
af7a85b
refactor(cargo-miden): remove `Color` in favor of `midenc::session::C…
greenhat Oct 17, 2025
2cd1070
Merge pull request #721 from 0xMiden/greenhat/cargo-miden-cleanup
greenhat Oct 17, 2025
4432bfe
chore(deps): update to no-std compatible petgraph
radik878 Oct 10, 2025
c13ba6a
chore(deps): clean up unused/yanked/vulnerable deps
bitwalker Oct 17, 2025
da2261e
Merge pull request #713 from radik878/chore/remove-petgraph-midenc-co…
bitwalker Oct 17, 2025
b296086
Add tests for codegen of `cf.select` variations.
otrho Oct 22, 2025
a08ba11
Fix codegen for `cf.select` of 64bit values.
otrho Oct 21, 2025
e0eebd8
Merge pull request #728 from 0xMiden/otrho/fix-select-64bit
otrho Oct 22, 2025
e92d324
chore: implement syling for external docs
Keinberger Oct 23, 2025
810d1a1
Merge pull request #701 from 0xMiden/chore/docusaurus-migration-new
Keinberger Oct 23, 2025
c2bbfa8
fix: incorrect lowering of >= 128-bit bnot (#725)
sashass1315 Oct 23, 2025
4638804
fix: support --test-harness with no/multiple initializers
bitwalker Oct 23, 2025
575e6ae
Merge pull request #731 from 0xMiden/bitwalker/test-harness-fix
bitwalker Oct 23, 2025
3931b59
feature: draft WIT source generation in `#[component]` macro
greenhat Oct 16, 2025
3f3561c
draft custom type support in WIT generation via `#[export_type]` macro
greenhat Oct 16, 2025
81c0183
refactor: assume all types besides `#[export_type]` to be present in …
greenhat Oct 17, 2025
c5f0e17
fix: forbid type references in WIT generation
greenhat Oct 17, 2025
b7c8a3c
fix: handle multiple calls to `register_export_type` during the session
greenhat Oct 17, 2025
2f8bb79
draft `enum` support in WIT generation
greenhat Oct 17, 2025
5695a6a
use crate version for Wasm CM package version in WIT generation
greenhat Oct 17, 2025
8e36b2c
fix: use existing WIT file in the storage-example
greenhat Oct 21, 2025
d410ac5
refactor: don't pass the generated WIT source via `inline` parameter …
greenhat Oct 21, 2025
e132c61
feature: move generated WIT file under the `target` folder
greenhat Oct 21, 2025
757a742
fix: account for generated WIT in `cargo miden example`
greenhat Oct 21, 2025
4965c08
chore: update new project templates git tag to v0.20.0
greenhat Oct 21, 2025
25d2ef2
fix: `#[component]` macro throws an error if a component has no exports
greenhat Oct 22, 2025
96a3cf1
fix: switch from `#[export_type]` conversion via `From` impl to in-pl…
greenhat Oct 22, 2025
6eca522
fix: use `with` type remapping for user-defined types in `#[component…
greenhat Oct 22, 2025
fe88db3
fix: capture the path for the `#[export_type]` type to handle the cas…
greenhat Oct 23, 2025
351e57c
refactor: add `macros` module with tests for `#[component]` and `#[ex…
greenhat Oct 23, 2025
8f0ee7b
chore: add doc comments to Miden SDK macros
greenhat Oct 23, 2025
f4c657a
feature: recognize Miden SDK types and suggest `#[export_type]` for a…
greenhat Oct 23, 2025
9495207
chore: add test for a user hint in the error message for missing #[ex…
greenhat Oct 23, 2025
b581b0b
chore: add doc comments to Miden SDK macros
greenhat Oct 24, 2025
d7469cc
fix: support later defined types in `#[export_type]` and `#[component]`
greenhat Oct 24, 2025
d8d16f8
fix: use fully qualified account component type in the `bindings::exp…
greenhat Oct 27, 2025
af2fa83
fix: sanitize the generated WIT file name
greenhat Oct 27, 2025
41a4f96
fix: generated path points to the original user type rather than gene…
greenhat Oct 27, 2025
7cf7af2
refactor: extract from `component_macro` into `generate_wit`, `storag…
greenhat Oct 27, 2025
ea299d5
chore: bump Miden SDK version to 0.7.0
greenhat Oct 30, 2025
c26fe4d
feature(SDK): SDK macros generate panic handler and global allocator …
greenhat Oct 31, 2025
28cb824
Merge pull request #722 from 0xMiden/greenhat/i720-wit-generation
greenhat Nov 3, 2025
3aa151b
fix: `cargo-miden` picks the correct package from cargo metadata
greenhat Oct 30, 2025
5e0b27e
feature: `cargo miden new` without options creates a Miden project
greenhat Oct 31, 2025
90c098e
Merge pull request #739 from 0xMiden/greenhat/i738-wrong-root-package
greenhat Nov 3, 2025
70324ec
Merge pull request #744 from 0xMiden/greenhat/i734-hide-panic-handler…
greenhat Nov 4, 2025
cea0daf
Merge pull request #741 from 0xMiden/greenhat/i737-revamp-new
greenhat Nov 4, 2025
941fc63
refactor: use `hash_memory_words` under the hood of SDK `hash_words`
greenhat Oct 28, 2025
2e90778
refactor: route `hash_elements` to call `hash_memory_words` when the …
greenhat Oct 28, 2025
47443e7
Merge pull request #736 from 0xMiden/greenhat/i601-hash-word-opt
greenhat Nov 4, 2025
e0becac
chore: revamp the release process automation
greenhat Oct 28, 2025
bd26145
fix: put the old release process to be used for Miden SDK at `release…
greenhat Nov 4, 2025
9f57896
fix: use `MIDEN_RELEASE_TOKEN` token for the new release CI workflow
greenhat Nov 4, 2025
9f5e086
fix: remove setting git tag for an SDK release
greenhat Nov 4, 2025
acc94c3
fix: set read-only permission for the `publish` CI jobs
greenhat Nov 4, 2025
9f0a1e4
Merge pull request #735 from 0xMiden/greenhat/i726-release-as-in-mide…
greenhat Nov 4, 2025
5a14e3a
chore: update SDK CHANGELOG.md
greenhat Nov 4, 2025
a9b61f7
Merge pull request #748 from 0xMiden/release-plz-2025-Nov-04-sdk
greenhat Nov 4, 2025
719574d
chore: use v0.22.0 git tag for new project templates (SDK v0.7)
greenhat Nov 4, 2025
42f80c4
Merge pull request #749 from 0xMiden/greenhat/i740-sdk-0-7-new-proj-t…
greenhat Nov 4, 2025
c57ff5e
chore: restore `GITHUB_TOKEN` in the new release CI workflow
greenhat Nov 4, 2025
7e8405d
Merge pull request #751 from 0xMiden/greenhat/release-ci-restore-defa…
bitwalker Nov 4, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
8 changes: 1 addition & 7 deletions .editorconfig
Original file line number Diff line number Diff line change
Expand Up @@ -10,14 +10,8 @@ charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true

[*.rs]
max_line_length = 100

[*.yml]
ident_size = 2

[*.hir]
indent_size = 4

[*.toml]
indent_size = 2
indent_size = 4
29 changes: 0 additions & 29 deletions .github/workflows/book.yml

This file was deleted.

46 changes: 46 additions & 0 deletions .github/workflows/build-docs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
name: build-docs

# Limits workflow concurrency to only the latest commit in the PR.
concurrency:
group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"
cancel-in-progress: true

on:
push:
branches: [main, next]
paths:
- "docs/external/**"
- ".github/workflows/build-docs.yml"
pull_request:
types: [opened, reopened, synchronize]
paths:
- "docs/external/**"
- ".github/workflows/build-docs.yml"
workflow_dispatch:

permissions:
contents: read

jobs:
build-docs:
name: Build Documentation
runs-on: ubuntu-latest

steps:
- name: Checkout repository
uses: actions/checkout@v4

- name: Setup Node.js
uses: actions/setup-node@v4
with:
node-version: "20"
cache: "npm"
cache-dependency-path: docs/external/package-lock.json

- name: Install dependencies
working-directory: ./docs/external
run: npm ci

- name: Build documentation
working-directory: ./docs/external
run: npm run build:dev
124 changes: 112 additions & 12 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,26 +1,34 @@
name: CI

permissions:
contents: read

on:
push:
branches:
- main
- next
paths-ignore:
- "*.md"
- "*.txt"
- "docs"
- "**.md"
- "**.txt"
- "docs/**"
pull_request:
paths-ignore:
- "*.md"
- "*.txt"
- "docs"
- "**.md"
- "**.txt"
- "docs/**"

env:
# Set the new value when the cache grows too much and we hit the runner's disk space limit
# via https://github.com/rust-lang/docs.rs/pull/2433
RUST_CACHE_KEY: rust-cache-20250528

jobs:
lint:
name: lint
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
Expand All @@ -30,6 +38,7 @@ jobs:
with:
# Use a common cache for the basic compilation/formatter/clippy checks
shared-key: ${{ github.workflow }}-shared
prefix-key: ${{ env.RUST_CACHE_KEY }}
save-if: ${{ github.ref == 'refs/heads/next' }}
- name: Install cargo-make
run: |
Expand All @@ -48,7 +57,7 @@ jobs:
# But run this check even if the lint check failed
if: ${{ always() }}
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
Expand All @@ -58,6 +67,7 @@ jobs:
with:
# Use a common cache for the basic compilation/formatter/clippy checks
shared-key: ${{ github.workflow }}-shared
prefix-key: ${{ env.RUST_CACHE_KEY }}
# But do not save this cache, just use it
save-if: false
- name: Install cargo-make
Expand All @@ -73,7 +83,7 @@ jobs:
name: midenc unit tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
Expand All @@ -84,6 +94,7 @@ jobs:
# NOTE: We use a different cache for the tests, so they can be run in parallel, but we
# also share the cache for the tests for efficiency
shared-key: ${{ github.workflow }}-shared-tests
prefix-key: ${{ env.RUST_CACHE_KEY }}
save-if: ${{ github.ref == 'refs/heads/next' }}
- name: Install cargo-make
run: |
Expand All @@ -98,7 +109,39 @@ jobs:
cargo make check --tests
- name: Test
run: |
cargo make test -E 'not (package(miden-integration-tests) or package(cargo-miden))'
cargo make test -E 'not (package(miden-integration-tests) or package(miden-integration-node-tests) or package(cargo-miden))'

check_release:
name: release checks
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
rustc --version
- name: Cache Cargo
uses: Swatinem/rust-cache@v2
with:
# NOTE: We use a different cache for the these release checks
shared-key: ${{ github.workflow }}-shared-release-checks
prefix-key: ${{ env.RUST_CACHE_KEY }}
save-if: ${{ github.ref == 'refs/heads/next' }}
- name: Install cargo-make
run: |
if ! cargo make --version 2>/dev/null; then
cargo install cargo-make --force
fi
- name: Check(release)
# We run `check` with `--release` to check the release build (without
# `debug_assertions`, etc.)
run: |
cargo make check --release --tests
- name: Check each member (release)
# To uncover any compilation errors hidden by the workspace feature
# unification and avoid surprises on publishing the crates.
run: |
cargo make check-each --release --all-features

midenc_integration_tests:
name: midenc integration tests
Expand All @@ -107,7 +150,7 @@ jobs:
# benefit that we can re-use the cache from the unit test job for all integration tests
needs: [unit_tests]
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
Expand All @@ -116,6 +159,7 @@ jobs:
uses: Swatinem/rust-cache@v2
with:
shared-key: ${{ github.workflow }}-shared-tests
prefix-key: ${{ env.RUST_CACHE_KEY }}
# Do not persist the cache, leave that to the unit tests, we just use the cache here
save-if: false
- name: Install cargo-make
Expand All @@ -134,7 +178,7 @@ jobs:
# benefit that we can re-use the cache from the unit test job for all integration tests
needs: [unit_tests]
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
Expand All @@ -143,6 +187,7 @@ jobs:
uses: Swatinem/rust-cache@v2
with:
shared-key: ${{ github.workflow }}-shared-tests
prefix-key: ${{ env.RUST_CACHE_KEY }}
# Do not persist the cache, leave that to the unit tests, we just use the cache here
save-if: false
- name: Install cargo-make
Expand All @@ -153,3 +198,58 @@ jobs:
- name: Test
run: |
cargo make test -E 'package(cargo-miden)'

miden_integration_node_tests:
name: miden integration node tests
runs-on: ubuntu-latest
# We only want to run the integration tests if the unit tests pass, and that has the added
# benefit that we can re-use the cache from the unit test job for all integration tests
needs: [unit_tests]
steps:
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
rustc --version
- name: Cache Cargo
uses: Swatinem/rust-cache@v2
with:
shared-key: ${{ github.workflow }}-shared-tests
prefix-key: ${{ env.RUST_CACHE_KEY }}
# Do not persist the cache, leave that to the unit tests, we just use the cache here
save-if: false
- name: Install cargo-make
run: |
if ! cargo make --version 2>/dev/null; then
cargo install cargo-make --force
fi
- name: Test
run: |
cargo make test -E 'package(miden-integration-node-tests)'

cargo_publish_dry_run:
name: cargo publish dry run
runs-on: ubuntu-latest
needs: [unit_tests]
steps:
- uses: actions/checkout@v5
- name: Install Rust
run: |
rustup update --no-self-update
rustc --version
- name: Cache Cargo
uses: Swatinem/rust-cache@v2
with:
# Use a common cache for the basic compilation/formatter/clippy checks
shared-key: ${{ github.workflow }}-shared
prefix-key: ${{ env.RUST_CACHE_KEY }}
save-if: ${{ github.ref == 'refs/heads/next' }}
- name: Install cargo-make
run: |
if ! cargo make --version 2>/dev/null; then
cargo install cargo-make --force
fi
- name: cargo publish dry run
# Simulate publishing to uncover any build errors when each crate folder is built in isolation
run: |
cargo make publish-dry-run
Loading
Loading