Skip to content

SpecTec changes detected (2026-W10) #4

Description

@github-actions

Recent changes in document/core/ or spectec/ directories:

c5a8cab [spectec] Fix typos in IL semantics (#2091)
f2fce28 [ci] Update test expects
52a209d [spectec] Fix resolution of argument syntax sugar in the case of forward uses
63201ed [spec] Fix wrong parameter in definition of vextbinop operator
fb72c97 [bikeshed] Attempt at fixing the Katex fixup
8a73ca5 [spectec] Fix rule SUB-STR in IL semantics
6a6876a [spec] Fix state for expression evaluation (#2078)
20aba52 [spectec] Add missing EQ/NE reduction rules to IL semantics

Review for potential impact on zwasm spec compliance.

Metadata

Metadata

Assignees

No one assigned

    Labels

    spectecSpecTec spec changes monitoring

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions