Skip to content

No labels!

There aren’t any labels for this repository quite yet.

67 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
component/tactics
component/tactics
14
component/tests
component/tests
1
component/tutorial
component/tutorial
2
component/two-phase-tc
component/two-phase-tc
1
component/typechecker
component/typechecker
27
component/typeclasses
component/typeclasses
2
component/unicode
component/unicode
3
component/unifier
component/unifier
4
component/universes
component/universes
Related to universe levels
2
component/website
component/website
the fstar-lang.org website
1
component/z3
component/z3
2
easy
easy
An easy bug to tackle
2
good first issue
good first issue
8
hard
hard
A difficult issue
1
kind/bug
kind/bug
70
kind/crash
kind/crash
8
kind/discussion
kind/discussion
18
kind/enhancement
kind/enhancement
78
kind/meta-issue
kind/meta-issue
12
kind/question
kind/question
10
kind/unsoundness
kind/unsoundness
A bug that has the potential to cause unsoundness, be it ill-typing or proofs of False
1
milestone/everest-v1
milestone/everest-v1
We expect to solve this issue by the Everest v1 release.
21
platform/linux
platform/linux
platform/macos
platform/macos
1
platform/windows
platform/windows
priority/high
priority/high
9
priority/low
priority/low
22
status/duplicate
status/duplicate
status/has-pr
status/has-pr
2
status/invalid
status/invalid