Skip to content

No labels!

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

28 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-​tracking
A-​tracking
Tracks progress of other issue(s), or facilitates discussion of a project or task
3
A-Bug
A-Bug
58
A-Enh
A-Enh
Enhancement
75
B-Carbon
B-Carbon
Backend: Carbon
B-Silicon
B-Silicon
Backend: Silicon
2
B-Viper
B-Viper
Backend: Silicon and Carbon
12
​​​​​clarification needed
​​​​​clarification needed
We should meet about this issue sometime
5
F-all
F-all
Frontend: all
18
F-C
F-C
Frontend: C
14
F-GPU
F-GPU
Frontend: OpenCL/Cuda
7
F-Java
F-Java
Frontend: Java
7
F-PVL
F-PVL
Frontend: PVL
9
Fuzzing
Fuzzing
Found by fuzzing
3
M-arch
M-arch
Misc: Archival of case studies
2
M-CI
M-CI
Misc: Continuous Integration
2
M-docs
M-docs
Misc: Wiki and external documentation
7
M-ex
M-ex
Misc: Examples
6
M-lint
M-lint
Misc: Code style
M-log
M-log
Misc: Error reporting and logging
13
M-mill
M-mill
Misc: Mill build tool
1
M-refactoring
M-refactoring
Used to track issues that would be fixed by a refactoring.
1
M-release
M-release
Misc: Release
1
P-GnuLinux
P-GnuLinux
Gnu/Linux-specific
P-MacOs
P-MacOs
MacOs-specific
P-Posix
P-Posix
related to POSIX os (i.e. currently Linux / MacOS)
P-Windows
P-Windows
Windows-specific
2
R
R
Rewriting problem
32
💥 unsound 💥
💥 unsound 💥