Skip to content

No labels!

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

20 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
‼ priority:p1
‼ priority:p1
Priority planning - level 1
5
⁉ priority:p2
⁉ priority:p2
Priority planning - level 2
6
❗ priority:p3
❗ priority:p3
Priority planning - level 3
10
❕ priority:p4
❕ priority:p4
Priority planning - level 4
2
⚠ priority:p5
⚠ priority:p5
Priority planning - level 5
4
🔗 resolution:duplicate
🔗 resolution:duplicate
This issue or pull request already exists
🎊 resolution:resolved
🎊 resolution:resolved
Bug or feature resolved - might not have been merged to master yet
🏗 resolution:wip
🏗 resolution:wip
Incomplete work - do not review yet
1
🚫 resolution:wontfix
🚫 resolution:wontfix
This will not be worked on
🔍 scope:analysis
🔍 scope:analysis
Work regarding abstract domains or fixpoint algorithms
14
🧱 scope:build
🧱 scope:build
Workflow or build setup work
📑 scope:docs
📑 scope:docs
Improvements or additions to documentation
1
🏨 scope:infrastructure
🏨 scope:infrastructure
Work regarding the general infrastructure and functioning of LiSA
9
🌍 scope:interproc
🌍 scope:interproc
Work regarding interprocedural analyses or call graphs
4
🏛 scope:program-structure
🏛 scope:program-structure
Work regarding the program structure
7
🐛 type:bug
🐛 type:bug
Something isn't working
2
🎆 type:feature
🎆 type:feature
New feature or request
22
❔ type:question
❔ type:question
Further information is requested
🛠 type:refactoring
🛠 type:refactoring
Refactoring of the codebase
3
🧫 type:test
🧫 type:test
Addition/extension of test code