Issue del repository

FStarLang/FStar

A Proof-oriented Programming Language

Vedi su GitHub
Star
 (3068 star)
Fork
 (258 fork)
Issue indicizzate
 (8 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
16 lug 2026
Ultimo push GitHub
14 lug 2026
Licenza
Apache License 2.0
Guida contributori
Guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
F*
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
Nessuna label per principianti indicizzata

Issue

8 issue indicizzate aperte

RSSAtom
Aperta
Quantifiers uncurrying in resugar is buggy
component/printereasygood first issuekind/bug

FStarLang/FStar #2363 aperta 24 set 2021 · F* · 3068 star

Perché consigliataNessun commento · Ha una label adatta ai principianti
Nessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni1 assegnatario
Aperta
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1512 aperta 17 ago 2018 · F* · 3068 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile
1 commento0 reazioni0 assegnatari
Aperta
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue

FStarLang/FStar #1082 aperta 14 giu 2017 · F* · 3068 star

Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile
1 commento0 reazioni0 assegnatari
Aperta
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1013 aperta 26 apr 2017 · F* · 3068 star

Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari
Aperta
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1007 aperta 21 apr 2017 · F* · 3068 star

Perché consigliataHa una label adatta ai principianti · Guida alla contribuzione disponibile
Ha una label adatta ai principiantiGuida alla contribuzione disponibile
3 commenti0 reazioni1 assegnatario
Aperta
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 aperta 13 apr 2017 · F* · 3068 star

Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile
0 commenti0 reazioni0 assegnatari