Repository Issue Activity (beta)

#2244 [spec] Bugs / questions about `VLOAD` in Wasm 2.0

#2245 [spectec] Wasm 1.0: `$instantiate` missing premises

#2227 [spectec] Incorrect front-end elaboration

#2235 Incorrect implementations of unreachable `ref.as_non_null` validation

#2221 [spectec] Wasm 1.0: `Module_ok` missing the validated import and export types

#2220 [spectec] Wasm 1.0: `Limits_sub` missing cases involving an absent maximum

#2219 [spectec] Wasm 1.0: `$growmemory` does not enforce the page limit

#2222 [spectec] Wasm 1.0: Missing bounds check on successful store rules

#2230 العائله

#2217 [spec] pull Wasm 1.0 rule changes from downstream

#2215 [spec] Incorrect `call_indirect` typing rule in Wasm 1.0

#2209 some scripts expect an "unknown operator" for negative alignment

#2213 [spec] Incorrect loop typing rule in Wasm 1.0

#2205 [spec] `Localval_ok`'s rule for uninitialised locals prevents typing of `local.set`

#2200 [spec] Function validation regression?

#2193 `memarg` align bugs in the text format (missing 2^n note)

#2202 [spec] Slight imprecision in module function body validation

#2194 [spec] instrs_ok/seq's principality requirement is slightly over-restrictive

#2196 [spectec] Missing and wrong side conditions in the middle-end

#2144 Constant expression section says "val" instead of "instr"

#2191 [spectec] Moduleinst validity defines potentially oversized indices for C.refs

#2187 [spec] Missing admin lifting of `call_ref` and `return_call_ref`

#2182 [spec] Missing/over-lenient context for resulttype validity for admin `frame` block

#1644 Not enough unreachability/side-effects tests

#2171 [spectec] Reftype subtyping premises in opsem