Emit runtime device interface as a module - #17

Merged

glopesdev merged 7 commits into

mainfrom

refactor-register-modules

Aug 10, 2026

Commits on Aug 7, 2026

Emit runtime device interface as a module
glopesdev
committed
ea2cae5

Commits on Aug 9, 2026

Declare the emitted device module type
glopesdev
committed
3dfd6b1
Type-check the examples and the public API
glopesdev
committed
6a28f8d
Name the schema emitter after what it returns
glopesdev
committed
db1d62e

Commits on Aug 10, 2026

Type the dataset reader by module contract
glopesdev
committed
96504ae
Scope a device module to its own registers
glopesdev
committed
e3cd769
Take schema text rather than a parsed model
glopesdev
committed
edeb2f9