Labels

• :lady_beetle: Bug

  🐞 Bug

• :rocket: Performance

  🚀 Performance

• Breaking Change

  Breaking Change

• Breaks API

  Breaks API

• Calculus

  Calculus

• CI

  CI

• Command Line Interface

  Command Line Interface

• Completeness

  Completeness

• Counter Example Generator

  Counter Example Generator

• dependencies

  dependencies

  Pull requests that update a dependency file

• Deployment

  Deployment

• Documentation

  Documentation

  Improvements or additions to documentation

• Duplicate

  Duplicate

  This issue or pull request already exists

• Error Reporting

  Error Reporting

  Missing file/position info for parse errors, uncaught errors, wrong/unclear messages, ...

• Exciting New Feature

  Exciting New Feature

• External Solvers

  External Solvers

  Additional Solvers such as (SMT, Isabelle, ...

• Feature

  Feature

  New feature or request

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• GUI

  GUI

• HacKeYthon

  HacKeYthon

  Candidate Issue for HacKeYthon '25

• help wanted

  help wanted

  Extra attention is needed

• Ignore in Changelog

  Ignore in Changelog

  If given, a PR will not be considered for Changelog generation. Use this on unimportant stuff.

• IgnoredTests

  IgnoredTests

• Information Flow Engine

  Information Flow Engine

• Infrastructure

  Infrastructure

  Changes to the Github configurations, repository or other non-source stuff

• Java

  Java

  Pull requests that update Java code

• Java Parser

  Java Parser

• JavaJMLParser

  JavaJMLParser

• JML (Semantics)

  JML (Semantics)

• JML Parser

  JML Parser