Skip to content

SpecTec changes detected (2026-W20) #96

@github-actions

Description

@github-actions

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

28b9f84 [spec/spectec] Fix prose for rule instr_const (#2161)
e422cdf [spec] Fix validation of ref.func set (#2162)
dbde397 [spectec] Constrain type inference for sequences (#2160)
1c659a6 [spec] Add missing meta-theory rules for recursive type indices (#2156)
f28b2f3 [spectec] Fix IL semantics rules for iterated premises

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