File tree Expand file tree Collapse file tree 1 file changed +26
-3
lines changed
Expand file tree Collapse file tree 1 file changed +26
-3
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,6 @@ only just beginning.
1212
1313This specification currently contains the following primary schemas:
1414
15-
1615<dl >
1716
1817<dt >[ ** ethdebug/format/type** ] ( /spec/type/overview ) </dt >
@@ -27,8 +26,32 @@ A schema for representing dynamic data address ranges in the EVM, particularly
2726to indicate where high-level variables are allocated in the machine state.
2827</dd >
2928
30- <dt >(more coming soon)</dt >
31- <dd >...</dd >
29+ <dt >[ ** ethdebug/format/program** ] ( /spec/program/overview ) </dt >
30+ <dd >
31+ A schema for representing high-level semantics from the perspective of an
32+ annotated compiled bytecode.
33+ </dd >
34+
35+ </dl >
36+
37+
38+ In addition, this format defines namespaces containing schemas for common
39+ concerns:
40+
41+ <dl >
42+
43+ <dt >[ ** ethdebug/format/data** ] ( /spec/data/overview ) </dt >
44+ <dd >
45+ A namespace of schemas containing definitions of commonly used data
46+ representations, such as how to represent raw byte strings and unsigned
47+ integers.
48+ </dd >
49+
50+ <dt >[ ** ethdebug/format/materials** ] ( /spec/materials/overview ) </dt >
51+ <dd >
52+ A namespace of schemas for representing "external" resources, such as
53+ compiler source inputs.
54+ </dd >
3255
3356</dl >
3457
You can’t perform that action at this time.
0 commit comments