Repository Issues

FStarLang/FStar

A Proof-oriented Programming Language

Auf GitHub ansehen
Stars
 (3.068 Stars)
Forks
 (258 Forks)
Indexierte Issues
 (8 indexierte Issues)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
16. Juli 2026
Letzter GitHub Push
14. Juli 2026
Lizenz
Apache License 2.0
Contributing Guide
Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
F*
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

8 offene indexierte Issues

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

FStarLang/FStar #2.363 24. Sept. 2021 geöffnet · F* · 3.068 Stars

Warum empfohlenNoch keine Kommentare · Einsteigerfreundliches Label vorhanden
Noch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen1 zugewiesene Person
Offen
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1.512 17. Aug. 2018 geöffnet · F* · 3.068 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue

FStarLang/FStar #1.082 14. Juni 2017 geöffnet · F* · 3.068 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1.013 26. Apr. 2017 geöffnet · F* · 3.068 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1.007 21. Apr. 2017 geöffnet · F* · 3.068 Stars

Warum empfohlenEinsteigerfreundliches Label vorhanden · Beitragsleitfaden verfügbar
Einsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
3 Kommentare0 Reaktionen1 zugewiesene Person
Offen
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 13. Apr. 2017 geöffnet · F* · 3.068 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Floating point literals are badly handled by the F# extraction mechanism
area/fsharp-vs-ocamlcomponent/buildcomponent/extractiongood first issuekind/bug

FStarLang/FStar #793 23. Dez. 2016 geöffnet · F* · 3.068 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
8 Kommentare0 Reaktionen0 zugewiesene Personen