Repository Issues

FStarLang/FStar

A Proof-oriented Programming Language

GitHub で見る
Stars
 (3,068 stars)
Forks
 (258 forks)
Indexed issues
 (8 indexed issues)
open beginner issues
 (0 open beginner issues)
最終索引
2026年7月16日
最終 GitHub push
2026年7月14日
ライセンス
Apache License 2.0
コントリビューションガイド
コントリビューションガイド
行動規範
行動規範はありません
主要言語
F*
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

8 open indexed issues

RSSAtom
オープン
Quantifiers uncurrying in resugar is buggy
component/printereasygood first issuekind/bug

FStarLang/FStar #2,363 は 2021年9月24日 に作成 · F* · 3,068 stars

おすすめ理由コメントがまだない · 初心者向けラベルあり
コメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション1 担当者
オープン
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low

FStarLang/FStar #1,512 は 2018年8月17日 に作成 · F* · 3,068 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
1 件のコメント0 件のリアクション0 担当者
オープン
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue

FStarLang/FStar #1,082 は 2017年6月14日 に作成 · F* · 3,068 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
1 件のコメント0 件のリアクション0 担当者
オープン
local open in patterns
area/syntaxgood first issuekind/enhancement

FStarLang/FStar #1,013 は 2017年4月26日 に作成 · F* · 3,068 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1

FStarLang/FStar #1,007 は 2017年4月21日 に作成 · F* · 3,068 stars

おすすめ理由初心者向けラベルあり · コントリビューションガイドあり
初心者向けラベルありコントリビューションガイドあり
3 件のコメント0 件のリアクション1 担当者
オープン
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue

FStarLang/FStar #984 は 2017年4月13日 に作成 · F* · 3,068 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり
0 件のコメント0 件のリアクション0 担当者
オープン
Floating point literals are badly handled by the F# extraction mechanism
area/fsharp-vs-ocamlcomponent/buildcomponent/extractiongood first issuekind/bug

FStarLang/FStar #793 は 2016年12月23日 に作成 · F* · 3,068 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり
8 件のコメント0 件のリアクション0 担当者
オープン
Ghost to Pure promotion doesn't seem to work with conditionals
good first issuekind/bug

FStarLang/FStar #610 は 2016年8月12日 に作成 · F* · 3,068 stars

おすすめ理由初心者向けラベルあり · コントリビューションガイドあり
初心者向けラベルありコントリビューションガイドあり
3 件のコメント0 件のリアクション1 担当者