Repository navigation

spec: Field VM - #971

Merged

RobinJadoul merged 33 commits into

spec/mainfrom

spec/recursion.vm

Oct 2, 2026

Merged

spec: Field VM#971
RobinJadoul merged 33 commits into
spec/mainfrom
spec/recursion.vm

Commits on Oct 2, 2026
- Field VM, first edition
  RobinJadoul
  committed
  e0eaf91
- Silly oversights
  RobinJadoul
  committed
  2b82d95
- Typechecker working for opaque types (as generalization of ExtField)
  RobinJadoul
  committed
  423772e
- Make ruff happier
  RobinJadoul
  committed
  3a8cafc
- Various fixes
  RobinJadoul
  committed
  08bf6d5
- Fix input hinting constraints to take hint_input from the next row
  RobinJadoul
  committed
  188524b
- Apply batched suggestions from code review
  
  RobinJadoul
  and
  erik-3milabs
  committed
  843a96e
- Improve expression rendering
  RobinJadoul
  committed
  a6cbfb3
- Field is not a code-term in the titles, imo
  RobinJadoul
  committed
  8458648
- Rename o register to d
  RobinJadoul
  committed
  6ca44a0
- More elaborate VM architecture to intro
  RobinJadoul
  committed
  1230403
- Instructions vs states
  RobinJadoul
  committed
  cf1da6b
- Registers and hinting
  RobinJadoul
  committed
  82c4035
- pseudoinstructions as a table
  RobinJadoul
  committed
  8b41451
- Clarify negative offsets into frame
  RobinJadoul
  committed
  8615d8e
- clarify syntactic degree being too high for mux
  RobinJadoul
  committed
  8b477de
- typo
  RobinJadoul
  committed
  9c0230c
- Switch everything to next(...) notation
  RobinJadoul
  committed
  0ac326e
- Compression in the decode lookup
  RobinJadoul
  committed
  ab4e1a4
- padding
  RobinJadoul
  committed
  3662069
- Decode table
  RobinJadoul
  committed
  b1b2119
- Minor
  RobinJadoul
  committed
  d5f771b
- Don't line-break inline equations by default
  RobinJadoul
  committed
  ba642a9
- deg notation
  RobinJadoul
  committed
  dea79f8
- Apply batched suggestions from code review
  
  RobinJadoul
  and
  erik-3milabs
  committed
  abbd403
- Clarify some writing
  RobinJadoul
  committed
  8713c60
- Comments on CALL/RET
  RobinJadoul
  committed
  580040c
- Expand degree split differently
  RobinJadoul
  committed
  0e200e7
- review
  RobinJadoul
  committed
  e93fc96
- review
  RobinJadoul
  committed
  511b79d
- Notelist
  RobinJadoul
  committed
  09f66f9
- HTML support for notelist
  RobinJadoul
  committed
  dcc4707
- Cleanup from review
  RobinJadoul
  committed
  e5e4cd8

Commits

Commits on Oct 2, 2026