Recent changes in document/core/ or spectec/ directories:
93c7fab [spectec] Externaddr ok guard (#2178)
ee70f77 [spectec] Tweak Config_ok to use Expr_ok2
e62a7f0 [spec/spectec] Compact subtyping check in branch rules
9c5f5b0 [spectec] Couple of minor fixes to spec
Review for potential impact on zwasm spec compliance.
Recent changes in
document/core/orspectec/directories:Review for potential impact on zwasm spec compliance.