Labels

• bug

  Something isn't working
• checker

  Issues related with checkers
• compiler

  Issues related with the algorithm compiler
• dependencies

  Pull requests that update a dependency file
• duplicate

  This issue or pull request already exists
• false alarm

  False alarms in static checkers
• new feature

  New features
• refactoring

  Refactoring codes
• test

  Issues related with testing