runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
runtimeverification/wasm-semantics è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su runtimeverification/wasm-semantics per dire quanto spesso vengono accettate. Al momento non è aperta nessuna issue adatta ai principianti; l'elenco qui sotto mostra le altre issue che abbiamo per questo repository.
- Stelle
- 106
- Fork
- 24
- Issue aperte per principianti
- 0
- Issue indicizzate
- 26
- Lingua principale
- WebAssembly
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 30/7/2026
- Ultima indicizzazione
- 19/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Come contribuire a runtimeverification/wasm-semantics
- Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
- Segui il repository per sapere quando si apre una nuova issue adatta ai principianti, oppure guarda le altre issue qui sotto.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
-
Improve tokenisation supportAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Upstream WebAssembly specific features from KasmerForse di nuovo libera @virgil-serbanuta l’ha presa 839 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/wasm-semantics#646 · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/wasm-semantics#344 · 2 commenti ·
-
Unsupported test filesAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/wasm-semantics#317 · 3 commenti ·
-
enhancement good first issue
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
runtimeverification/wasm-semantics#273 · 8 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Project ProposalAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Meeting NotesApertanotes
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 25/100
runtimeverification/wasm-semantics#231 · 12 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/wasm-semantics#184 · 2 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 18/100
runtimeverification/wasm-semantics#150 · 9 commenti ·
-
Not Urgent
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
Valstack BugApertabug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/wasm-semantics#140 · 5 commenti ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/wasm-semantics#93 · 4 commenti ·