Skip to content

ethdebug: Publish the state variables in the program-level context - #5

Open
djolertrk wants to merge 2 commits into
feature/ethdebug-data-tablefrom
feature/ethdebug-program-context
Open

djolertrk wants to merge 2 commits into
feature/ethdebug-data-tablefrom
feature/ethdebug-program-context

Conversation

@djolertrk

Copy link
Copy Markdown
Collaborator

In addition to it, publish the immutables in the program-level context.

@djolertrk
djolertrk added this pull request to stack #6 October 1, 2026 18:56
@djolertrk

Copy link
Copy Markdown
Collaborator Author

cc @cameel

@djolertrk
djolertrk force-pushed the feature/ethdebug-program-context branch from 39ed393 to 244b41e Compare October 8, 2026 13:47
@djolertrk
djolertrk force-pushed the feature/ethdebug-program-context branch 2 times, most recently from 6918243 to 6e74233 Compare October 9, 2026 12:45
@djolertrk
djolertrk force-pushed the feature/ethdebug-program-context branch from 6e74233 to 074b268 Compare October 16, 2026 12:00
Fill the context of the ethdebug/format/program outputs with the
contract's state variables in storage and transient storage. Each one is
listed with its declaration and its type reference into the type
resources; a variable whose pointer is closed, i.e. reads no name that
is not bound within it, also carries the pointer, inlined from its
template in the pointer resources. A template that expects parameters,
such as a mapping's keys, stays in the resources for the consumer to
instantiate, and its variable is listed without a pointer.

The context variables of the schema now carry typed type specifiers and
pointers instead of JSON, and the pointer analysis that decides whether
a pointer is closed, freeNames(), lives next to the schema so that the
Yul stage can use it to check pointers against generated code.
The deployed code holds a copy of an immutable's value wherever the code
reads it. The runtime program now lists the immutables that have one, each
with a code region covering the value in the first copy. Their types are
added to the type table.
@djolertrk
djolertrk force-pushed the feature/ethdebug-program-context branch from 074b268 to d7e6a36 Compare October 19, 2026 15:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant