Add a command line option to print the Pancake news file - #1470

Merged

IlmariReissumies merged 16 commits into

Sep 2, 2026

Commits on Aug 24, 2026

Add a command line option to print pancake NEWS.md
IlmariReissumies
committed
a3ffe06
Fix duplicate definition name
IlmariReissumies
committed
749d312

Commits on Aug 25, 2026

Commits on Aug 26, 2026

Fix up compiler64Prog
IlmariReissumies
committed
303ca17
Add generated readme
IlmariReissumies
committed
87477a2
Fix copypaste error
IlmariReissumies
committed
8f5a054

Commits on Aug 27, 2026

Fix whole_prog proof and remove news-printing option
IlmariReissumies
committed
262da39

Commits on Aug 28, 2026

Fix compiler32Prog
IlmariReissumies
committed
6a7502d

Commits on Aug 31, 2026

Fix ag32BootstrapProofScript
IlmariReissumies
committed
99f3972

Commits on Sep 2, 2026

Mention #1470 in changes-since-release
IlmariReissumies
committed
293d018
Update NEWS.MD
IlmariReissumies
committed
b266128
Merge remote-tracking branch 'cakeml/master' into pan_news
IlmariReissumies
committed
7bf4499