Issues du dépôt

FStarLang/FStar

A Proof-oriented Programming Language

Voir sur GitHub
Stars
 (3 068 stars)
Forks
 (258 forks)
Issues indexées
 (8 issues indexées)
issues débutant ouvertes
 (0 issues débutant ouvertes)
Dernière indexation
16 juil. 2026
Dernier push GitHub
14 juil. 2026
Licence
Apache License 2.0
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
F*
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
Aucun label débutant indexé

Issues

8 issues indexées ouvertes

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

FStarLang/FStar #2 363 ouverte 24 sept. 2021 · F* · 3 068 stars

Pourquoi recommandéeAucun commentaire pour l'instant · Label adapté aux débutants
Aucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions1 assigné
Ouverte
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1 512 ouverte 17 août 2018 · F* · 3 068 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
1 commentaire0 réactions0 assignés
Ouverte
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue

FStarLang/FStar #1 082 ouverte 14 juin 2017 · F* · 3 068 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible
1 commentaire0 réactions0 assignés
Ouverte
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1 013 ouverte 26 avr. 2017 · F* · 3 068 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés
Ouverte
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1 007 ouverte 21 avr. 2017 · F* · 3 068 stars

Pourquoi recommandéeLabel adapté aux débutants · Guide de contribution disponible
Label adapté aux débutantsGuide de contribution disponible
3 commentaires0 réactions1 assigné
Ouverte
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 ouverte 13 avr. 2017 · F* · 3 068 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible
0 commentaires0 réactions0 assignés