Labels

• benchmarking
• bug
• c11
• c99
• cleanup

  Refactoring, clean-up
• debugging

  Abstract debugging
• dependencies

  Pull requests that update a dependency file
• documentation

  Documentation, comments
• explainability
• feature
• github_actions

  Pull requests that update GitHub Actions code
• good first issue
• hacktoberfest-accepted

  https://hacktoberfest.digitalocean.com/
• in progress
• issue-incomplete
• parallel

  Parallel Goblint
• performance

  Analysis time, memory usage
• pr-dependency

  Depends or builds on another PR, which should be merged before
• practical-course

  Practical Course at TUM
• precision
• preprocessing

  C preprocessing
• proof-of-concept
• python

  Pull requests that update Python code
• question
• relational

  Relational analyses (Apron, affeq, lin2var)
• setup

  Dependencies, CI, releasing
• student-job
• sv-benchmarks-MR

  This tracks an MR in the`sv-benchmarks` repo that will solve issue
• sv-comp

  SV-COMP (analyses, results), witnesses
• testing