Skip to content

No labels!

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

31 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
A-book
A-book
Area: The Halo 2 book
21
A-book-eli15
A-book-eli15
Area: Background section of the Halo 2 book
5
A-CI
A-CI
Area: Continuous Integration testing
2
A-compiler-api
A-compiler-api
Area: APIs for integrating with compiler frontends
1
A-dev-tooling
A-dev-tooling
Area: Developer tooling
33
A-documentation
A-documentation
Area: Improvements or additions to documentation
21
A-errors
A-errors
Area: Error handling
5
A-lookup
A-lookup
Area: Lookup tables
7
A-planning
A-planning
Area: Circuit floor planner and layouter logic
9
A-recursion
A-recursion
Area: Recursive proofs
9
A-rust-api
A-rust-api
Area: Public crate API
15
C-bug
C-bug
Category: This is a bug
3
C-cleanup
C-cleanup
2
C-feature-request
C-feature-request
Category: This is a request for a new feature or functionality.
13
C-meta
C-meta
Category: A meta-issue about the repository or crates
4
C-release
C-release
Category: This is an issue corresponding to the creation of a specific release.
1
C-target
C-target
Category: This is a high-level target that forms the root of a sub-graph in the DAG.
3
duplicate
duplicate
This issue or pull request already exists
E-good-first-issue
E-good-first-issue
Effort: Suitable for someone new to the codebase.
2
E-help-wanted
E-help-wanted
Call for participation: Help is requested to fix this issue.
2
F-nightly
F-nightly
Issue or PR about a nightly feature
10
I-performance
I-performance
17
I-SECURITY
I-SECURITY
Problems and improvements related to security.
invalid
invalid
This doesn't seem right
M-verifier-compatibility
M-verifier-compatibility
This is a backwards-incompatible change to the verifier
2
question
question
Further information is requested
regression
regression
S-committed
S-committed
S-waiting-on-review
S-waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
safety checks
safety checks
4