feat: add internal spec for debug-info - #16780

Open

djolertrk wants to merge 47 commits into

argotorg:developfrom

walnuthq:feature/internal-spec

Commits on Aug 6, 2026

ethdebug: Add semantic debug metadata carrier
djolertrk
committed
f42fbdc
ethdebug: Add semantic debug AST ID side table
djolertrk
committed
2eb9591
ethdebug: Preserve semantic debug data across Yul reparse
djolertrk
committed
db60f85
ethdebug: Attach semantic debug data for function variables
djolertrk
committed
98aa615
docs: Document ETHDebug internal metadata
djolertrk
committed
5ba220a
test: Cover semantic debug data across Yul reparse
djolertrk
committed
673e292
docs: improve ethdebug internal metadata
djolertrk
committed
81ab972
ethdebug: Map semantic variables to type descriptors
djolertrk
committed
042f584
ethdebug: Map semantic variables to pointer descriptors
djolertrk
committed
17ac6ad
ethdebug: Add optimizer debug location update rule
djolertrk
committed
e4e8a2d
ethdebug: Export semantic type resources
djolertrk
committed
c7179bb
ethdebug: Export storage pointer resources
djolertrk
committed
06a7aa6
ethdebug: Default initialize semantic variable list
djolertrk
committed
43fbf6a
ethdebug: Fix semantic metadata for modifiers
djolertrk
committed
c978e47
yul: Avoid MSVC leave keyword in debug data visitors
djolertrk
committed
05fdbb3
ethdebug: Harden semantic debug metadata propagation
djolertrk
committed
596ce3d
test: Avoid nested designated initializers that crash MSVC
djolertrk
committed
53a8f2c
ethdebug: Emit program-level state variable context
djolertrk
committed
d76fb19
ethdebug: Support recursive type and pointer descriptors
djolertrk
committed
4bec7ed
ethdebug: Assert positive width for sized resize expressions
djolertrk
committed
0f4a723
ethdebug: Move semantic metadata JSON lowering out of CompilerStack
djolertrk
committed
9f4a524
ethdebug: Describe variable data locations at EVM level
djolertrk
committed
68e2379
ethdebug: Add versioned serialization for the semantic side table
djolertrk
committed
a8e7fc6
test: Cover ethdebug semantic metadata production with isoltests
djolertrk
committed
d30f299
ethdebug: Serialize the semantic sidecar across compiler interfaces
djolertrk
committed
728d780
docs: Rewrite the ethdebug internal metadata specification
djolertrk
committed
e5e142e
test: Avoid comparing Json against string_view, which is ambiguous on MSVC
djolertrk
committed
a752fda
test: Run transient storage pointer isoltest only from Cancun on
djolertrk
committed
9b0d173
test: Build source maps explicitly instead of via nested braced initializers
djolertrk
committed
34c2193
ethdebug: Normalize the Yul path in --ethdebug-input mappings
djolertrk
committed
3797dbd
docs: Specify optimizer debug info update rules
djolertrk
committed
12f6283
ethdebug: Share one name table between each enum's two directions
djolertrk
committed
9772f4b
docs: Answer the type vocabulary and expression questions
djolertrk
committed
fc13679
docs: Say where pointer templates and type descriptors actually live
djolertrk
committed
c76b987
docs: Specify how pointers survive the optimizer
djolertrk
committed
652ddcd
ethdebug: Separate a Yul local from a bound variable in pointer expressions
djolertrk
committed
aade685
docs: Stop claiming scopeInstanceID is serialized
djolertrk
committed
51cb5ec
ethdebug: Resolve the type vocabulary
djolertrk
committed
65697d9
ethdebug: Key debug entries by (astId, instance) end to end
djolertrk
committed
9949090
ethdebug: Location updates, so a value that moves can be described
djolertrk
committed
321af53
ethdebug: Share type descriptors by ID in the serialized sidecar
djolertrk
committed
1460456
ethdebug: Rename SemanticDebugDataSerDe to SemanticDebugDataSerialization
djolertrk
committed
0189c6f
Update docs/internals/ethdebug_internal_metadata.rst

djolertrk
and
cameel
authored
8a1ee75

Commits on Aug 7, 2026