Skip to content

No labels!

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

36 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
benchmarking
benchmarking
18
bug
bug
87
c11
c11
3
c99
c99
cleanup
cleanup
Refactoring, clean-up
43
debugging
debugging
Abstract debugging
3
dependencies
dependencies
Pull requests that update a dependency file
1
documentation
documentation
Documentation, comments
7
explainability
explainability
3
feature
feature
62
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
31
hacktoberfest-accepted
hacktoberfest-accepted
https://hacktoberfest.digitalocean.com/
in progress
in progress
5
issue-incomplete
issue-incomplete
parallel
parallel
Parallel Goblint
3
performance
performance
Analysis time, memory usage
30
pr-dependency
pr-dependency
Depends or builds on another PR, which should be merged before
5
practical-course
practical-course
Practical Course at TUM
3
precision
precision
57
preprocessing
preprocessing
C preprocessing
6
proof-of-concept
proof-of-concept
python
python
Pull requests that update Python code
question
question
7
relational
relational
Relational analyses (Apron, affeq, lin2var)
22
setup
setup
Dependencies, CI, releasing
9
student-job
student-job
32
sv-benchmarks-MR
sv-benchmarks-MR
This tracks an MR in the`sv-benchmarks` repo that will solve issue
1
sv-comp
sv-comp
SV-COMP (analyses, results), witnesses
39
testing
testing
16