chore: migrate project template to Miden v0.16 - #61

Merged

Keinberger merged 12 commits into

mainfrom

kbg/chore/v16-migration

Sep 7, 2026

Commits on Aug 25, 2026

chore(skills): sync skills to miden v0.15
Keinberger
committed
1d47c16

Commits on Aug 27, 2026

Commits on Aug 29, 2026

fix(skills): correct FPI argument-tupling guidance
Keinberger
committed
fba39e7

Commits on Aug 31, 2026

chore: extract skills and task records from v0.16 migration
Keinberger
committed
9002f33
fix: provision frozen compiler in CI
Keinberger
committed
35228ad

Commits on Sep 1, 2026

chore: sync with compiler project template
Keinberger
committed
e040c56

Commits on Sep 4, 2026

chore: sync with stable compiler template
Keinberger
committed
fbfbb5d
fix(ci): invoke midenc through midenup
Keinberger
committed
bd93065
fix(ci): expose cargo-miden from midenup
Keinberger
committed
3867325