Labels

• analyze-that

  analyze-that

• benchmarking

  benchmarking

• bug

  bug

• c11

  c11

• c99

  c99

• cleanup

  cleanup

  Refactoring, clean-up

• codex

  codex

• debugging

  debugging

  Abstract debugging

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Documentation, comments

• explainability

  explainability

• feature

  feature

• ghost-branch

  ghost-branch

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

• hacktoberfest-accepted

  hacktoberfest-accepted

  https://hacktoberfest.digitalocean.com/

• in progress

  in progress

• issue-incomplete

  issue-incomplete

• parallel

  parallel

  Parallel Goblint

• performance

  performance

  Analysis time, memory usage

• pr-dependency

  pr-dependency

  Depends or builds on another PR, which should be merged before

• practical-course

  practical-course

  Practical Course at TUM

• precision

  precision

• preprocessing

  preprocessing

  C preprocessing

• proof-of-concept

  proof-of-concept

• python

  python

  Pull requests that update Python code

• question

  question

• relational

  relational

  Relational analyses (Apron, affeq, lin2var)

• setup

  setup

  Dependencies, CI, releasing

• student-job

  student-job