Labels

• 🐞 Bug
• 🚀 Performance
• Breaking Change
• Breaks API
• Calculus
• CI
• Command Line Interface
• Completeness
• Counter Example Generator
• dependencies

  Pull requests that update a dependency file
• Deployment
• Documentation

  Improvements or additions to documentation
• Duplicate

  This issue or pull request already exists
• Error Reporting

  Missing file/position info for parse errors, uncaught errors, wrong/unclear messages, ...
• Exciting New Feature
• External Solvers

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

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• GUI
• HacKeYthon

  Candidate Issue for HacKeYthon '25
• help wanted

  Extra attention is needed
• Ignore in Changelog

  If given, a PR will not be considered for Changelog generation. Use this on unimportant stuff.
• IgnoredTests
• Information Flow Engine
• Infrastructure

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

  Pull requests that update Java code
• Java Parser
• JavaJMLParser
• JML (Semantics)
• JML Parser