[spectec] Wasm 1.0: `$instantiate` missing premises
Maintainers usually reply within 1 day
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 68/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Active
- Tech stack
- wasm
- Domain
- compilers
Research direction
Compare Wasm 1.0 Specification PDF section 4.5.4 with the SpecTec definition of $instantiate; the issue identifies three omitted premises. Trace the $instantiate entry point in SpecTec and represent all three checks, then verify that the formalization matches the PDF rule.
Written by the indexing model from the issue text.
Description
The Wasm 1.0 Specification PDF section 4.5.4 has the following three checks for $instantiate:
⊢ module : externtype_imⁿ → externtype_ex*
(S ⊢ externval : externtype)ⁿ
(⊢ externtype ≤ externtype_im)ⁿ
They are missing in Wasm 1.0 SpecTec.
- Dominant language
- WebAssembly
- Stars
- 3.5k
- Forks
- 540
- Avg merge
- 11h 12m
- Merged PRs (30d)
- 11
Getting set up
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from WebAssembly/spec
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
WebAssembly/spec#2235 · 9 comments ·
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
WebAssembly/spec#2196 ·
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
WebAssembly/spec#2155 · 2 comments ·
Maintainers usually reply within 1 day
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
WebAssembly/spec#2150 · 1 comment ·
Maintainers usually reply within 1 day
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
WebAssembly/spec#2130 · 5 comments ·
Maintainers usually reply within 1 day
All issues in WebAssembly/spec
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
publicodes/publicodes#868 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 89/100
Maintainers usually reply within 1 day
-
bug I/O semantics
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
dotnet/roslyn#85793 · 1 comment ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100