Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
145 commits
Select commit Hold shift + click to select a range
c29cf6f
fix(assembly): correct cycle detection in toposort_caller
crazywriter1 Mar 18, 2026
ad09892
chore: add changelog entry for toposort_caller fix
crazywriter1 Mar 18, 2026
feba21c
Merge branch 'next' into fix-toposort-caller-cycle-check
crazywriter1 Mar 18, 2026
c411b8d
Merge branch 'next' into fix-toposort-caller-cycle-check
crazywriter1 Mar 19, 2026
d820b57
chore: update crate versions to v0.23.0
bobbinth Mar 19, 2026
bd42aef
fix(assembly-syntax): replace unreachable_unchecked with unreachable …
crazywriter1 Mar 19, 2026
91beaaa
chore(processor): remove NodeEndFlags from NodeEndData
plafer Mar 17, 2026
5e084b8
Merge pull request #2866 from 0xMiden/plafer-2644-node-end-flags
plafer Mar 19, 2026
d20c5c8
fix(assembly): record ProcRef invoke kind correctly in VerifyInvokeTa…
amathxbt Mar 22, 2026
27ef512
fix(assembly): add toposort_caller cycle regression test and fix chan…
crazywriter1 Mar 22, 2026
d78ecf3
fix(assembly): detect root-closing cycles in toposort_caller
crazywriter1 Mar 23, 2026
5a9b48e
Merge branch 'next' into fix-toposort-caller-cycle-check
crazywriter1 Mar 23, 2026
0f46549
chore(doc): document the non-determinism of clk instruction (#2890)
plafer Mar 23, 2026
5541082
test(processor): cover nested loop end flags across fragmentation (#2…
huitseeker Mar 23, 2026
c23102b
fix(assembly-syntax): keep C-like enum validation/constant materializ…
crazywriter1 Mar 23, 2026
0b3003a
Merge branch 'next' into fix-toposort-caller-cycle-check
crazywriter1 Mar 24, 2026
0d1873a
fix: restore #2887 changelog entry alongside #2871
crazywriter1 Mar 24, 2026
74cbef2
fix(assembly): report full root cycle in toposort_caller
huitseeker Mar 25, 2026
0dfc017
Merge pull request #2871 from crazywriter1/fix-toposort-caller-cycle-…
bitwalker Mar 25, 2026
acee494
revert(assembly): restore InvokeKind::Exec in visit_mut_procref (#289…
amathxbt Mar 25, 2026
b978cdb
Make execution and proving sync-first, with runtime-free async compat…
huitseeker Mar 26, 2026
e5af1b7
Update the recursive verifier to work with `p3-miden` (#2869)
Al-Kindi-0 Mar 27, 2026
c572918
fix(processor): propagate err_code in op_u32assert2 (#2894)
amathxbt Mar 28, 2026
d5b1207
ci: add workflow to verify all PR commits are signed (#2930)
huitseeker Mar 30, 2026
cf48d0a
fix: reject non-syscall references to exported kernel procedures (#2903)
crazywriter1 Mar 30, 2026
62c824e
docs(assembly): document enum variant uniqueness constraint (#2932)
giwaov Mar 30, 2026
5c58a33
refactor: rework main trace generation to (hybrid) row-major (#2937)
Nashtare Mar 31, 2026
7b29921
fix: revert the MainTrace::get row storage regression (#2949)
huitseeker Mar 31, 2026
e978969
test-utils: add kernel support to test builders (#2936)
lmorett1 Mar 31, 2026
28c4c7a
docs(processor): fix stale ExecutionTracer doc links (#2943)
KitaroMoha563 Apr 1, 2026
45af24a
chore: set up constraint change tracking
adr1anh Apr 2, 2026
5df9b1b
refactor: inline tagged_assert_zero variants, remove tagging indirection
adr1anh Apr 2, 2026
9bc0b91
refactor: inline trivial assert wrappers in stack and decoder modules
adr1anh Apr 2, 2026
bb5cb22
refactor: remove empty section headers and apply lint fixes
adr1anh Apr 2, 2026
cf9722c
refactor: remove constraint tagging infrastructure
adr1anh Apr 2, 2026
a7dbe96
refactor: introduce MidenAirBuilder trait alias
adr1anh Apr 2, 2026
06c39d9
refactor: remove unused decoder constants and inline last assert wrapper
adr1anh Apr 2, 2026
fa1cce2
refactor: remove dead code and unnecessary allow(dead_code) annotations
adr1anh Apr 2, 2026
b7c32f8
refactor: remove unnecessary clone() calls on Copy types
adr1anh Apr 2, 2026
f06e0dd
refactor: use semantic assertion methods in constraint code
adr1anh Apr 2, 2026
6a886e9
refactor: inline field constants and centralize in constants.rs
adr1anh Apr 2, 2026
e4478fe
refactor: introduce BoolNot trait for boolean negation in constraints
adr1anh Apr 2, 2026
5880e08
refactor: defer Var-to-Expr conversions and simplify array construction
adr1anh Apr 2, 2026
313a9af
refactor: add ChipletFlags/ChipletSelectors structs with precomputed …
adr1anh Apr 2, 2026
000bd6a
refactor: thread ChipletSelectors through all constraint and bus func…
adr1anh Apr 2, 2026
7b487df
refactor: enforce all chiplet selectors are 1 in last row
adr1anh Apr 2, 2026
daf0f26
refactor: remove when_transition from chiplet constraints
adr1anh Apr 2, 2026
8d43331
refactor: add per-bus domain separation to Challenges encoding
adr1anh Apr 2, 2026
92ca9ca
refactor: narrow per-chiplet constraint functions to &ChipletFlags
adr1anh Apr 2, 2026
a572620
refactor: inline small constraint helper functions
adr1anh Apr 2, 2026
bc860be
refactor: add typed column structs, col map, and Borrow impls
adr1anh Apr 2, 2026
114cf15
refactor: wire MainCols into eval() — MainTraceRow becomes type alias
adr1anh Apr 2, 2026
8bdff1f
refactor: migrate range constraints to named struct fields
adr1anh Apr 2, 2026
ea6b215
refactor: migrate decoder constraints to DecoderCols named fields
adr1anh Apr 2, 2026
517dc4f
refactor: migrate stack constraints to StackCols named fields
adr1anh Apr 2, 2026
a4c7bbf
refactor: migrate bitwise chiplet constraints to BitwiseCols
adr1anh Apr 2, 2026
5c1b037
refactor: migrate hasher + memory chiplet constraints to typed cols
adr1anh Apr 2, 2026
5200b41
refactor: migrate ACE chiplet constraints to AceCols
adr1anh Apr 2, 2026
674e07d
refactor: migrate kernel ROM constraints to KernelRomCols
adr1anh Apr 2, 2026
d09b5dc
refactor: migrate chiplet bus wiring + hash_kernel to typed cols
adr1anh Apr 2, 2026
378d04f
refactor: migrate chiplets bus constraints to typed column structs
adr1anh Apr 2, 2026
8d8566e
refactor: post-review cleanup of typed column structs
adr1anh Apr 2, 2026
69d1a02
refactor: add typed chiplet accessors to MainCols, eliminate raw chip…
adr1anh Apr 2, 2026
e926705
chore: format imports in chiplet constraint files
adr1anh Apr 2, 2026
4146ab0
refactor: split chiplets bus into requests/responses modules, reduce …
adr1anh Apr 2, 2026
5aaf74a
refactor: apply constraint style rules — when() decomposition, semant…
adr1anh Apr 2, 2026
f0db2d5
refactor: flatten single-file stack constraint modules into sibling f…
adr1anh Apr 2, 2026
56ec41c
refactor: type ACE shared columns into named fields with QuadFeltExpr
adr1anh Apr 2, 2026
a4a1903
refactor: type periodic columns into named structs and simplify chipl…
adr1anh Apr 2, 2026
6c3d544
refactor: simplify op_flags with bit-selector pattern and iterative e…
adr1anh Apr 2, 2026
607d241
refactor: use Algebra trait bound and remove op_flags indirection
adr1anh Apr 2, 2026
2f7fd7d
fix: use core::array for no-std compatibility
adr1anh Apr 2, 2026
2f5dc9f
refactor(decoder): improve readability of composite flags
adr1anh Apr 2, 2026
4296f05
refactor(decoder): inline all constraint helpers into enforce_main an…
adr1anh Apr 2, 2026
860d340
refactor: decouple column layout types from trace storage
adr1anh Apr 2, 2026
c30aeb9
Fix the release dry-run publish cycle and preserve leaf-only DAG impo…
huitseeker Apr 2, 2026
967c0fb
Merge origin/next into constraint-simplification
adr1anh Apr 2, 2026
cbcb370
refactor(crypto): improve readability of crypto operation constraints
adr1anh Apr 2, 2026
f5576e0
Use repo permission to skip contribution quality (#2956)
huitseeker Apr 3, 2026
15c07e8
ci: publish rustdoc through the Pages artifact instead of a side-chan…
huitseeker Apr 3, 2026
98ece19
docs(corelib): document non-overlap requirement for memory copy and A…
giwaov Apr 3, 2026
0c13e9e
Reduce trace build inputs for prove-from-trace (#2948)
huitseeker Apr 3, 2026
dc0bec8
feat: add per-bus domain separation to ACE circuit and MASM verifier
adr1anh Apr 4, 2026
8d259ed
feat: add dead-node elimination pass to ACE DAG
adr1anh Apr 4, 2026
3379699
refactor: move column structs from trace/ to constraints/
adr1anh Apr 4, 2026
468acac
refactor: remove unsafe Index impls, rename MainTraceRow to MainCols
adr1anh Apr 4, 2026
90ce10e
refactor: merge chiplets bus sub-files back into single chiplets.rs
adr1anh Apr 5, 2026
aee250e
docs(corelib): document sortedness precondition for sorted array oper…
giwaov Apr 5, 2026
b7255bb
Hasher chiplet redesign (#2927)
Al-Kindi-0 Apr 6, 2026
3d05a4c
feat: add chainable builders for common test setup (#2957)
lmorett1 Apr 6, 2026
b98a5d9
ci: reuse maintenance workflows (#2969)
huitseeker Apr 7, 2026
4d026aa
Reduce proptest cases in VM operation hotspots (#2970)
huitseeker Apr 7, 2026
270d9f1
perf: make `get_divisors` return a fixed size `Vec` (#2966)
Nashtare Apr 7, 2026
6b4e797
Merge pull request #2886 from 0xMiden/bobbin-mast-package
bitwalker Mar 31, 2026
1760501
Merge pull request #2901 from walnuthq/pr/expose-api-for-debugger
bitwalker Mar 31, 2026
328c078
Merge pull request #2877 from 0xMiden/bitwalker/project-assembler
bitwalker Mar 31, 2026
87e3713
Preserve kernel semantics in preassembled packages
huitseeker Mar 31, 2026
e075484
Revert "Preserve kernel semantics in preassembled packages"
huitseeker Apr 1, 2026
a5bebe9
Keep runtime dependency resolution for preassembled packages
huitseeker Apr 1, 2026
64a692a
Recheck selected metadata for preassembled packages
huitseeker Apr 1, 2026
012a74e
fix(core,assembly): replace unsound ptr::read in panic recovery (#2934)
giwaov Apr 7, 2026
e875d3d
Merge origin/next into constraint-simplification
adr1anh Apr 8, 2026
5389a12
refactor: unify periodic column generation with typed struct construc…
adr1anh Apr 8, 2026
5ed38c1
chore: move expensive Rust workflows to WarpBuild (#2960)
huitseeker Apr 8, 2026
d217b90
Merge branch 'next' into backport/main-post-v0.22.0-to-next
bobbinth Apr 8, 2026
f3f9839
Merge pull request #2950 from 0xMiden/backport/main-post-v0.22.0-to-next
bobbinth Apr 8, 2026
743bef6
Fix memory range-check clk underflow (#2976)
huitseeker Apr 10, 2026
0cfd786
falcon: validate mod_12289 remainder advice
huitseeker Apr 5, 2026
f9bc16b
u64: fix rotr widening arithmetic
huitseeker Apr 6, 2026
bb244bd
chore: Changelog
huitseeker Apr 6, 2026
b099780
u64: address review feedback
huitseeker Apr 7, 2026
819600f
falcon: correct mod_12289 cycle docs
huitseeker Apr 7, 2026
ee8465e
u64: clarify rotr safety comment
huitseeker Apr 7, 2026
cf2f7ba
Bump toolchain and refresh rand lockfiles (#2997)
huitseeker Apr 13, 2026
4eb4a39
refactor: split hasher chiplet into controller and permutation sub-mo…
adr1anh Apr 13, 2026
db23d39
refactor: restructure hasher controller constraints by operation life…
adr1anh Apr 13, 2026
3a7e637
ci: benchmark blake3 1-to-1 for regressions on main (#2992)
huitseeker Apr 13, 2026
a037c8f
docs: clarify structural confinement bullet in hasher.md
adr1anh Apr 13, 2026
a781c48
Merge main into next (#2998)
huitseeker Apr 13, 2026
e71d55e
Merge origin/main into next
huitseeker Apr 13, 2026
bcf1988
Merge pull request #3000 from 0xMiden/huitseeker/merge/main-into-next…
huitseeker Apr 13, 2026
3f6dc13
refactor(hasher): tighten digest-routing gate to local soundness
adr1anh Apr 14, 2026
2196f49
Merge remote-tracking branch 'origin/next' into adr1anh/constraint-si…
adr1anh Apr 14, 2026
b8731df
docs: add changelog entry for PR #2856
adr1anh Apr 14, 2026
9a140df
docs(CONSTRAINT_CHANGES): record merge baseline and entries 44-46
adr1anh Apr 14, 2026
0cd3fa6
docs(CONSTRAINT_CHANGES): dedup boilerplate interpretations via ancho…
adr1anh Apr 14, 2026
ac21cfa
chore: drop constraint-refactor scratch files
adr1anh Apr 14, 2026
4164cd2
feat(core): add testable constraints regeneration command
huitseeker Apr 14, 2026
05ffd82
Fix core-lib constraints tool feature gating
huitseeker Apr 14, 2026
8c31a7a
ci: check recursive constraints for drift
huitseeker Apr 14, 2026
3eb18ab
Merge pull request #3002 from huitseeker/constraint-simplification
adr1anh Apr 14, 2026
c02ca89
refactor(bus): domain-separate hasher perm-link bus
adr1anh Apr 14, 2026
311f294
refactor(chiplets): fill s_ctrl selector via .fill(ONE) memset
adr1anh Apr 14, 2026
16246ba
revert(ace-codegen): drop stale dead-node elimination tests
adr1anh Apr 14, 2026
e4b02d2
Merge branch 'next' into huitseeker/tob-refactors
huitseeker Apr 15, 2026
f2445ad
Merge pull request #2968 from 0xMiden/huitseeker/tob-refactors
huitseeker Apr 15, 2026
d2326eb
refactor(air): address PR review nits and add HALT boundary constraint
adr1anh Apr 16, 2026
d87517e
docs(air): enrich ACE chiplet column documentation
adr1anh Apr 16, 2026
423fb8d
refactor(air): address remaining PR review comments
adr1anh Apr 16, 2026
42a0521
Merge remote-tracking branch 'origin/next' into adr1anh/constraint-si…
adr1anh Apr 16, 2026
9289e66
fix(air): port stack_arith u32 constraint tests from origin/next
adr1anh Apr 16, 2026
ea5bced
Merge pull request #2856 from 0xMiden/adr1anh/constraint-simplification
adr1anh Apr 16, 2026
79cf91b
Fix workspace publish dry run (#3010)
huitseeker Apr 17, 2026
94a7957
ci: Harden CI, signed-commit on maintainers, non-regression on next, …
huitseeker Apr 17, 2026
eb5d43d
perf(core): borrow operation slices when batching (#2994)
lmorett1 Apr 17, 2026
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
  •  
  •  
  •  
5 changes: 5 additions & 0 deletions .github/actionlint.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Allow actionlint to recognize the org's custom Warp runner label used by the
# blake3 non-regression workflow.
self-hosted-runner:
labels:
- warp-ubuntu-latest-x64-4x
26 changes: 7 additions & 19 deletions .github/actions/workspace-release/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,37 +32,25 @@ runs:
fi

- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@stable
shell: bash
run: |
rustup update --no-self-update stable
rustup default stable

- name: Cache cargo registry and git index
uses: actions/cache@v4
with:
path: |
~/.cargo/registry
~/.cargo/git
key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
restore-keys: |
${{ runner.os }}-cargo-
- name: Cache Rust build artifacts
uses: WarpBuilds/rust-cache@9d0cc3090d9c87de74ea67617b246e978735b1a1 # v2.9.1

- name: Cleanup large tools for build space
uses: ./.github/actions/cleanup-runner

# Install cargo-msrv for MSRV checks
- name: Install cargo-msrv
shell: bash
env:
RUSTUP_TOOLCHAIN: "1.91"
run: cargo install cargo-msrv

- name: Install Rust 1.91 for MSRV check
shell: bash
run: rustup toolchain install 1.91
run: cargo install cargo-msrv --version 0.19.3 --locked

# Keep your existing MSRV check
- name: Check MSRV
shell: bash
env:
RUSTUP_TOOLCHAIN: "1.91"
run: |
chmod +x scripts/check-msrv.sh
./scripts/check-msrv.sh
Expand Down
4 changes: 3 additions & 1 deletion .github/workflows/bench.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,9 @@ jobs:
name: Bench on ubuntu-latest
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1
with:
persist-credentials: false
- name: Bench for all features
run: |
rustup +stable update --no-self-update
Expand Down
Loading
Loading