format, pointers, bugc: specify and implement two-sorted (integer/bytes) expression evaluation - #286

Open

gnidan wants to merge 9 commits into

mainfrom

architect-expression-semantics

Commits on Aug 6, 2026

format: specify two-sorted (integer/bytes) expression evaluation
gnidan
committed
15469f2
format: tighten two-sorted expression prose for spec render
gnidan
committed
e6cdad5

Commits on Sep 3, 2026

pointers: evaluate expressions as two sorts, integer and bytes
gnidan
committed
17b9d54
format: word-size the operands of the root keccak256 example
gnidan
committed
522f28a
bugc: wordsize keccak256 slot operands in pointer expressions
gnidan
committed
3bc712f
web: update the expression evaluation guide for two-sorted evaluation
gnidan
committed
080f2df
web: align expression spec page and docs guide with two-sorted semantics
gnidan
committed
2feaa2d
format: list keccak256 and concat among the bytes-producing forms
gnidan
committed
e25c292
web: format the expression evaluation guide
gnidan
committed
9a9c742