spec: cleanup before v0.2 - #479

Merged

erik-3milabs merged 9 commits into

spec/cleanup_v0.2

Apr 10, 2026

Commits on Apr 10, 2026

spec: add backticks to section titles
erik-3milabs
committed
af68269
spec: replace "columns" headers with "variables"
erik-3milabs
committed
5217ffd
spec: auto count nr_variables
erik-3milabs
committed
df6d5a5
spec: standardize "optimizations"-section headers
erik-3milabs
committed
6731697
spec/config: add missing spaces
erik-3milabs
committed
b60eadc
spec/chip: rename *_column_table as *_variable_table
erik-3milabs
committed
df05367
spec: drop table captions
erik-3milabs
committed
8c67394
spec/v0.2: turn note into aside
erik-3milabs
committed
36ba98f
spec: place correctness arguments in separate section
erik-3milabs
committed
42128e7