All pull requests

Pull requests

• docs: Refresh the root README for current VM features

  no changelog
  #3993·huitseeker opened Oct 9, 2026Collaborator·

  ·
  3

• ci: fix CodSpeed compilation and support patch and RC releases, and document release CI

  no changelog
  #3992·huitseeker opened Oct 9, 2026Collaborator·

  ·
  1

  1

• perf(falcon): optimize Eidos signature verification

  #3990·Al-Kindi-0 opened Oct 8, 2026Contributor·

  ·
  1

• fix(hir-type): reject struct types larger than u32::MAX bytes instead of panicking

  quality-concern
  #3983·erhnysr opened Oct 7, 2026·

  ·
  1

  3

• assembly: preserve procedure identity across exec

  assembly
  #3982·bitwalker opened Oct 7, 2026Collaborator·

  ·
  9

  

• Add property tests and fix serialization and RPX stack errors

  #3976·huitseeker opened Oct 6, 2026Collaborator·

  ·
  4

  16

• fix(debug)!: enforce debug-info encoding limits

  quality-concern
  #3958·djolertrk opened Oct 1, 2026Contributor·

  ·
  5

• feat: add parser and AST support for constant type annotations

  #3957·mooori opened Oct 1, 2026Collaborator·

  ·
  9

• fix(assembly-syntax): print modules so they parse back to the same module

  #3950·0xShadowX opened Oct 1, 2026Contributor·

  ·
  2

• feat(debug): derive frames from existing metadata

  quality-concern
  #3941·djolertrk opened Sep 29, 2026Contributor·

  ·
  12

• docs: document MAST root literal byte order and add round-trip test

  #3935·pplmaverick opened Sep 29, 2026·

  ·
  1

  11

• fix(no-std): restore no-std builds and check them before release

  #3934·huitseeker opened Sep 28, 2026Collaborator·

  ·
  6

• Bound and prepare precompile witnesses before evaluation

  #3886·adr1anh opened Sep 23, 2026Contributor·

  ·
  1

  10

• refactor: centralize package commitment rules

  #3880·huitseeker opened Sep 21, 2026Collaborator·

  ·
  2

• refactor(ace): simplify code-owned circuit compilation

  #3842·adr1anh opened Sep 15, 2026Contributor·

  ·

• fix(cli): write prove outputs alongside the proof file

  #3760·rayasa07 opened Sep 1, 2026·7 tasks done·

  ·
  1

  33

• feat: Warn about unused constants

  #3759·huitseeker opened Sep 1, 2026Collaborator·

  ·
  1

  11

• test(assembly): enable empty begin/while/repeat block rejection tests

  quality-concern
  #3694·addnad opened Aug 20, 2026Contributor·

  ·

  · v0.33.0
  1

  5

• feat: Wasm-compiled custom event handlers

  #3664·greenhat opened Aug 17, 2026Collaborator·

  ·

  · v0.33.0
  1

  66

• refactor: replace miden-miette,miden-utils-diagnostics with miden-diagnostics v1

  assemblydebuggingdependencies
  #3657·bitwalker opened Aug 16, 2026Collaborator·

  ·

  · v0.33.0
  26

  

• fix(crypto): wipe secret-key temporaries

  #3456·Jr-kenny opened Aug 3, 2026Contributor·

  ·
  16

• refactor: decouple native handlers from processor state

  #3438·adr1anh opened Jul 29, 2026Contributor·

  ·
  2

• Check user doc cycle counts against source of truth (#3111)

  #3262·crazywriter1 opened Jun 17, 2026Contributor·2 tasks done·

  ·

  · v0.33.0
  1

  50

• WIP: prototype MMB

  corelib
  #3234·krushimir opened Jun 5, 2026Contributor·

  ·
  5

• feat(mmr): add authenticated rooted-frontier path

  corelib
  #3184·krushimir opened May 22, 2026Contributor·

  ·
  3