spec: Field VM - #971

Draft

RobinJadoul wants to merge 28 commits into

spec/recursionfrom

spec/recursion.vm

Commits on Sep 21, 2026

Field VM, first edition
RobinJadoul
committed
12bd1c2
Silly oversights
RobinJadoul
committed
960e27f
Typechecker working for opaque types (as generalization of ExtField)
RobinJadoul
committed
ee078e1
Make ruff happier
RobinJadoul
committed
956dc7c
Various fixes
RobinJadoul
committed
4eff900
Fix input hinting constraints to take hint_input from the next row
RobinJadoul
committed
ec8cf91
Apply batched suggestions from code review

RobinJadoul
and
erik-3milabs
committed
2c325ab
Improve expression rendering
RobinJadoul
committed
e37f48f
Field is not a code-term in the titles, imo
RobinJadoul
committed
1bc24bf
Rename o register to d
RobinJadoul
committed
3b1f6e6
More elaborate VM architecture to intro
RobinJadoul
committed
c344893
Instructions vs states
RobinJadoul
committed
080641f
Registers and hinting
RobinJadoul
committed
20b799b
pseudoinstructions as a table
RobinJadoul
committed
6e32018
Clarify negative offsets into frame
RobinJadoul
committed
265f26d
clarify syntactic degree being too high for mux
RobinJadoul
committed
3cc981b
typo
RobinJadoul
committed
e7443d3
Switch everything to next(...) notation
RobinJadoul
committed
6b38c96
Compression in the decode lookup
RobinJadoul
committed
e5e53f6
padding
RobinJadoul
committed
5747d5c
Decode table
RobinJadoul
committed
a53bcb5
Minor
RobinJadoul
committed
a06c369
Don't line-break inline equations by default
RobinJadoul
committed
309a9a4
deg notation
RobinJadoul
committed
0d95869
Apply batched suggestions from code review

RobinJadoul
and
erik-3milabs
authored
dac5d04
Clarify some writing
RobinJadoul
committed
b3f86a9
Comments on CALL/RET
RobinJadoul
committed
8ee56ed
Expand degree split differently
RobinJadoul
committed
7005440