Issues do repositório

FStarLang/FStar

A Proof-oriented Programming Language

Ver no GitHub
Stars
 (3.068 stars)
Forks
 (258 forks)
Issues indexadas
 (8 indexado issues)
issues iniciantes abertas
 (0 issues iniciantes abertas)
Última indexação
16 de jul. de 2026
Último push no GitHub
14 de jul. de 2026
Licença
Apache License 2.0
Guia de contribuição
Guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
F*
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

8 aberto indexado issues

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

FStarLang/FStar #2.363 aberta 24 de set. de 2021 · F* · 3.068 stars

Por que recomendamosAinda sem comentários · Tem label amigável para iniciantes
Ainda sem comentáriosTem label amigável para iniciantesGuia de contribuição disponível
0 comentários0 reações1 responsável
Aberta
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1.512 aberta 17 de ago. de 2018 · F* · 3.068 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível
1 comentário0 reações0 responsáveis
Aberta
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue

FStarLang/FStar #1.082 aberta 14 de jun. de 2017 · F* · 3.068 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível
1 comentário0 reações0 responsáveis
Aberta
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1.013 aberta 26 de abr. de 2017 · F* · 3.068 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesGuia de contribuição disponível
0 comentários0 reações0 responsáveis
Aberta
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1.007 aberta 21 de abr. de 2017 · F* · 3.068 stars

Por que recomendamosTem label amigável para iniciantes · Guia de contribuição disponível
Tem label amigável para iniciantesGuia de contribuição disponível
3 comentários0 reações1 responsável
Aberta
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 aberta 13 de abr. de 2017 · F* · 3.068 stars

Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesGuia de contribuição disponível
0 comentários0 reações0 responsáveis
Aberta
Floating point literals are badly handled by the F# extraction mechanism
area/fsharp-vs-ocamlcomponent/buildcomponent/extractiongood first issuekind/bug

FStarLang/FStar #793 aberta 23 de dez. de 2016 · F* · 3.068 stars

Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível
8 comentários0 reações0 responsáveis