FStarLang/pal
Proof Annotation Language: inline Pulse annotations for C
FStarLang/pal è adatto ai principianti?
Negli ultimi 30 giorni FStarLang/pal ha accettato 24 delle 31 pull request di contributori esterni, e i suoi maintainer di solito rispondono entro 1 giorno. In questo momento è aperta 1 issue adatta ai principianti.
- Stelle
- 13
- Fork
- 3
- Issue aperte per principianti
- 1
- Issue indicizzate
- 43
- Merge medio
- 20h 29m
- PR unite (30g)
- 24
- Lingua principale
- Rust
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 15/10/2026
- Ultima indicizzazione
- 16/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
Come contribuire a FStarLang/pal
- Non c'è una guida per contribuire: parti dal README e da alcune pull request accettate di recente per capire come si propongono le modifiche.
- Il progetto include un dev container: aprilo in Codespaces per avere un ambiente funzionante nel browser.
- I tuoi contributi saranno pubblicati con la licenza Apache-2.0 del progetto.
- Scegli la issue aperta adatta ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Difficoltà 3/5 Mezza giornata Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 15/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
palow
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 42/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 58/100
I maintainer di solito rispondono entro 1 giorno
-
Generated anonymous struct names collide with explicit C tags and silently change field typesApertabug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 64/100
I maintainer di solito rispondono entro 1 giorno
-
Make malloc return void*Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
FStarLang/pal#113 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
`switch` translator emits `brk := true;` outside the matching case, killing all subsequent armsAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 50/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
I maintainer di solito rispondono entro 1 giorno
-
Internal error "Impossible: cycle detected after cycle detection has passed" when a pointer typedef is declared before its structForse già presa @gebner l’ha presa 48 giorni fa. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
Function-pointer wrappers drop all pointee postconditions (and silently accept false `_old` contracts)Forse già presa @hei411 l’ha presa 55 giorni fa. Aperta
FStarLang/pal#279 · 1 assegnatario ·
I maintainer di solito rispondono entro 1 giorno
-
assert support breaks depending on the order of the includesForse già presa @copilot-swe-agent l’ha presa 196 giorni fa. Aperta
FStarLang/pal#87 · 1 commento · 1 reazione · 1 assegnatario ·
I maintainer di solito rispondono entro 1 giorno