Refactor primitive ops#1288

Open

xrchz wants to merge 34 commits intomasterfrom

Commits on Nov 28, 2025

Commits on Nov 29, 2025

Progress on #1271
myreen
committed

Commits on Dec 3, 2025

Add Arith and FromTo to source AST
myreen
committed

Commits on Dec 15, 2025

Give semantics to some cases of Arith and FromTo
myreen
committed

Commits on Dec 16, 2025

Progress on Arith and FromTo in compiler backend
myreen
committed

Commits on Dec 20, 2025

Prove a cheat

xrchz
and
claude
committed
Reduce a cheat
xrchz
committed

Commits on Dec 21, 2025

Prove typeSound cheat
xrchz
committed

Commits on Dec 22, 2025

Commits on Dec 24, 2025

Commits on Dec 25, 2025

Commits on Dec 26, 2025

Commits on Dec 28, 2025

Commits on Dec 29, 2025

Prove some cheats

xrchz
and
claude
committed

Commits on Dec 30, 2025