Labels

• apple-silicon

  apple-silicon

  Issues related to prototype Apple Silicon support

• attributes

  attributes

• automerge

  automerge

• bison

  bison

• bug

  bug

  Something isn't working

• builtins

  builtins

• checks

  checks

• cli

  cli

• cse

  cse

• dedukti

  dedukti

• dependencies

  dependencies

  Pull requests that update a dependency file

• design

  design

• devops

  devops

• discussion

  discussion

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• error-message

  error-message

• feature

  feature

• frontend

  frontend

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• incremental-compilation

  incremental-compilation

• interface

  interface

• invalid

  invalid

  This doesn't seem right

• java

  java

  Pull requests that update Java code

• java-backend

  java-backend

• javascript

  javascript

  Pull requests that update Javascript code

• kast

  kast

• kbuild

  kbuild