Skip to content

No labels!

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

48 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
comp-cli
comp-cli
Issue related to CLI
8
comp-codegen
comp-codegen
Issue is related to code generator
76
comp-contest-estimator
comp-contest-estimator
Issue is related to contest estimator
26
comp-fuzzing
comp-fuzzing
Issue is related to the fuzzing
31
comp-github-action
comp-github-action
GitHub action, gradle plugin or maven plugin
1
comp-ide
comp-ide
Issue is related to IDE support
7
comp-infrastructure
comp-infrastructure
Infrastructure issues
12
comp-instrumented-process
comp-instrumented-process
Issue is related to Instrumented process
24
comp-logging
comp-logging
Issue is related to Logging
1
comp-minimizer
comp-minimizer
Issue is related to Minimization phase
4
comp-rd
comp-rd
Issue is related RD
2
comp-rider-plugin
comp-rider-plugin
Rider C# plugin relates issues
11
comp-sandboxing
comp-sandboxing
Issue is related to sandboxing unpermitted operations by Java Security Manager
3
comp-sarif
comp-sarif
Issue is related to SARIF report or Problems tab
7
comp-settings
comp-settings
Issue is related to settings
2
comp-spring
comp-spring
Issue is related to Spring projects support
36
comp-summaries
comp-summaries
Something related to the method names, code comments and display names generation
22
comp-symbolic-engine
comp-symbolic-engine
Issue is related to the symbolic execution engine
87
comp-taint-analysis
comp-taint-analysis
3
comp-ui
comp-ui
Improvements of plugin UI appearence and functionality
10
ctg-bug
ctg-bug
Issue is a bug
251
ctg-bug-fix
ctg-bug-fix
PR is fixing a bug
1
ctg-documentation
ctg-documentation
Improvements or additions to documentation
6
ctg-enhancement
ctg-enhancement
New feature, improvement or change request
107
ctg-qa
ctg-qa
Issue is related to QA process
1
ctg-question
ctg-question
Further information is requested
6
ctg-refactoring
ctg-refactoring
Issue related to refactoring process
15
lang-go
lang-go
Issue is related to Go support
4
lang-java
lang-java
Issue is related to Java support
23
lang-javascript
lang-javascript
Issue is related to JavaScript support
8