formalize component value definitions - #336

Merged

lukewagner merged 24 commits into

WebAssembly:mainfrom

rvolosatovs:feat/value-encoding

Jun 3, 2024

Commits on May 2, 2024

Commits on May 7, 2024

record value byte length
rvolosatovs
committed
b58579e

Commits on May 8, 2024

represent byte length using `||v||` notation
rvolosatovs
committed
dc2859f

Commits on May 13, 2024

include type in scalar value definitions
rvolosatovs
committed
88e6d8f

Commits on May 20, 2024

encode flags as u8^N
rvolosatovs
committed
1747d40
sync text format with value binary encoding changes
rvolosatovs
committed
d63fa29

Commits on May 28, 2024

encode discriminants as LE uints
rvolosatovs
committed
3cd3dc8

Commits on May 29, 2024

Commits on May 30, 2024

collapse text format scalar definition rules
rvolosatovs
committed
7c0c34f
remove `{u,s}8` rule references from the binary spec
rvolosatovs
committed
c3f309b
adapt flag rule definition to LE byte sequence
rvolosatovs
committed
b8c31b0
bind `N` in `value` rule
rvolosatovs
committed
82a66f8
document `(binary ...)` expression
rvolosatovs
committed
2c77edb
bind `v'` in `s8` rule
rvolosatovs
committed
a56e792
use uninterpreted integers in value definition text format
rvolosatovs
committed
ba58e56
refer to `stringchar`, not `char`
rvolosatovs
committed
6c8e7b4
reword `(binary ...)` doc section
rvolosatovs
committed
c557391
replace unsized `uN` by a `u32`
rvolosatovs
committed
043b923