Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Separate core semantics and text format

Aperta
  • Qualcosa non va?
#93 4 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
25/100
Tipo di issue
Refactoring
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
wasm
Ambito
compilers

Direzione di ricerca

Leggi prima wasm.md, normalizations.md e data.md, quindi confronta gli elementi delle attività ancora non contrassegnati con i confini attuali dei moduli. Il lavoro è completato quando le definizioni e gli identificatori elencati sono stati spostati in modo che wasm.md contenga la semantica di base, mentre normalizations.md gestisca le riscritture del formato testuale, verificando ogni elemento della checklist.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

enhancement

It's becoming a bit inconvenient to have all these folded instructions, aliases and syntactic sugars in the main semantics module, wasm.md. I suggest we move all rules that are just intermediate rewrites, such as instruction unfolding, into a module named normalizations.md. That way, wasm.md becomes a close mirror of the "Execution" part of the spec, dealing with the AST and state updates, and normalizations.md deals with the whole world of valid .wast concrete syntax by only rewriting top-level terms in the <k> cell.

Instead of having all these rules in the core syntax, we can keep them in a separate module. This both makes the core semantics smaller, more like the official spec, and a smaller compile target for the binary format.

Update: Here's the suggested tasks

  • Introduce a separate module for the text format.
  • Move out pure desugaring rules and syntax: folded instructions, inlined exports/imports, etc.
  • Move block instructions (control flow) with identifiers to text module (requires some way to look up the correct branching index).
  • Move definitions with identifers to the core semantics:
    • memory, table
    • func, start
    • global, local
    • imports, exports
    • type
    • elem, data
  • Move Identifiers out of data.md and into text module.
Lingua principale
WebAssembly
Stelle
106
Fork
24
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di runtimeverification/wasm-semantics

Tutte le issue di runtimeverification/wasm-semantics

Issue simili

Altre issue su Compilers

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.