Skip to content

Actions: ethdebug/format

Actions

ETHDebug

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ethdebug.yml
70 workflow runs
70 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
format, pointers, bugc: specify and implement two-sorted (integer/bytes) expression evaluation ETHDebug #70: Pull request #286 synchronize by gnidan
2m 41s architect-expression-semantics
architect-expression-semantics
2m 41s
format, pointers, bugc: specify and implement two-sorted (integer/bytes) expression evaluation ETHDebug #69: Pull request #286 synchronize by gnidan
2m 38s architect-expression-semantics
architect-expression-semantics
2m 38s
format, pointers, bugc: specify and implement two-sorted (integer/bytes) expression evaluation ETHDebug #68: Pull request #286 synchronize by gnidan
3m 11s architect-expression-semantics
architect-expression-semantics
3m 11s
format, pointers: define segment offset carry semantics and resolve multi-slot regions ETHDebug #67: Pull request #284 synchronize by gnidan
2m 31s architect-segment-carry
architect-segment-carry
2m 31s
format, pointers: define segment offset carry semantics and resolve multi-slot regions ETHDebug #66: Pull request #284 synchronize by gnidan
2m 10s architect-segment-carry
architect-segment-carry
2m 10s
format, pointers: define segment offset carry semantics and resolve multi-slot regions ETHDebug #65: Pull request #284 synchronize by gnidan
3m 0s architect-segment-carry
architect-segment-carry
3m 0s
format, pointers: define segment offset carry semantics and resolve multi-slot regions ETHDebug #64: Pull request #284 synchronize by gnidan
2m 32s architect-segment-carry
architect-segment-carry
2m 32s
format, pointers: define segment offset carry semantics and resolve multi-slot regions ETHDebug #63: Pull request #284 synchronize by gnidan
2m 35s architect-segment-carry
architect-segment-carry
2m 35s
format: make all resource identifiers strings ETHDebug #62: Pull request #288 opened by gnidan
2m 35s architect-ids-to-strings
architect-ids-to-strings
2m 35s
format, pointers, bugc: specify and implement two-sorted (integer/bytes) expression evaluation ETHDebug #61: Pull request #286 opened by gnidan
3m 13s architect-expression-semantics
architect-expression-semantics
3m 13s
format: identify character encodings with WHATWG Encoding Standard labels ETHDebug #60: Pull request #285 opened by gnidan
2m 41s architect-encoding-labels
architect-encoding-labels
2m 41s
format, pointers: define segment offset carry semantics and resolve multi-slot regions ETHDebug #59: Pull request #284 opened by gnidan
2m 50s architect-segment-carry
architect-segment-carry
2m 50s
format: state the postcondition convention for instruction contexts ETHDebug #58: Pull request #281 synchronize by gnidan
2m 14s architect-postcondition-convention
architect-postcondition-convention
2m 14s
format: state the postcondition convention for instruction contexts ETHDebug #57: Pull request #281 opened by gnidan
2m 51s architect-postcondition-convention
architect-postcondition-convention
2m 51s
format: close objects whose properties the format fully defines ETHDebug #56: Pull request #280 opened by gnidan
3m 38s architect-schema-closure
architect-schema-closure
3m 38s
format: tighten type and context validation constraints ETHDebug #55: Pull request #279 opened by gnidan
2m 41s architect-schema-constraints
architect-schema-constraints
2m 41s
format: fix the program example's pre-execution stack pointers ETHDebug #54: Pull request #278 opened by gnidan
2m 51s architect-program-stack-example
architect-program-stack-example
2m 51s
format: align pointer identifier and contract type guards with their schemas ETHDebug #53: Pull request #276 synchronize by gnidan
2m 24s debugger-isidentifier-regex
debugger-isidentifier-regex
2m 24s
format: correct schema examples and drop dead keywords ETHDebug #52: Pull request #277 opened by gnidan
3m 18s architect-schema-example-cleanup
architect-schema-example-cleanup
3m 18s
format: align pointer identifier and contract type guards with their schemas ETHDebug #51: Pull request #276 opened by gnidan
2m 58s debugger-isidentifier-regex
debugger-isidentifier-regex
2m 58s
Add transform context for annotating compiler optimizations ETHDebug #50: Pull request #216 synchronize by gnidan
3m 11s transform-context
transform-context
3m 11s
Add transform context for annotating compiler optimizations ETHDebug #49: Pull request #216 synchronize by gnidan
3m 43s transform-context
transform-context
3m 43s
Add transform context for annotating compiler optimizations ETHDebug #48: Pull request #216 synchronize by gnidan
3m 17s transform-context
transform-context
3m 17s
Add transform context for annotating compiler optimizations ETHDebug #47: Pull request #216 synchronize by gnidan
2m 56s transform-context
transform-context
2m 56s
Add transform context for annotating compiler optimizations ETHDebug #46: Pull request #216 synchronize by gnidan
2m 48s transform-context
transform-context
2m 48s