spec: Field VM - #971

Draft

RobinJadoul wants to merge 29 commits into

spec/recursionfrom

spec/recursion.vm

Commits on Sep 25, 2026

Field VM, first edition
RobinJadoul
committed
ec4c118
Silly oversights
RobinJadoul
committed
555273b
Typechecker working for opaque types (as generalization of ExtField)
RobinJadoul
committed
58c27bc
Make ruff happier
RobinJadoul
committed
2faf1a5
Various fixes
RobinJadoul
committed
ef1754c
Fix input hinting constraints to take hint_input from the next row
RobinJadoul
committed
11a2714
Apply batched suggestions from code review

RobinJadoul
and
erik-3milabs
committed
341095d
Improve expression rendering
RobinJadoul
committed
6aeb08c
Field is not a code-term in the titles, imo
RobinJadoul
committed
c6b01be
Rename o register to d
RobinJadoul
committed
a379d1b
More elaborate VM architecture to intro
RobinJadoul
committed
8801555
Instructions vs states
RobinJadoul
committed
a324367
Registers and hinting
RobinJadoul
committed
eb6ba7b
pseudoinstructions as a table
RobinJadoul
committed
3ec0b12
Clarify negative offsets into frame
RobinJadoul
committed
b51f372
clarify syntactic degree being too high for mux
RobinJadoul
committed
2ce4437
typo
RobinJadoul
committed
3e81f92
Switch everything to next(...) notation
RobinJadoul
committed
c600a7e
Compression in the decode lookup
RobinJadoul
committed
2e025fb
padding
RobinJadoul
committed
23831be
Decode table
RobinJadoul
committed
f6a95ca
Minor
RobinJadoul
committed
04d3f35
Don't line-break inline equations by default
RobinJadoul
committed
932d58c
deg notation
RobinJadoul
committed
2061697
Apply batched suggestions from code review

RobinJadoul
and
erik-3milabs
committed
576e0c6
Clarify some writing
RobinJadoul
committed
5d7555e
Comments on CALL/RET
RobinJadoul
committed
06be08a
Expand degree split differently
RobinJadoul
committed
99a988f
review
RobinJadoul
committed
d9af179