Labels

• bug

  bug

  Something isn't working

• compiler-crash

  compiler-crash

  The given code causes the compiler to crash

• critical

  critical

  Touches on core Dynamatic functionnality

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  Improvement to existing feature of Dynamatic

• feature

  feature

  About a new feature in Dynamatic

• fuzzer-found

  fuzzer-found

  Bugs found using an automated fuzzer

• good first issue

  good first issue

  Good for newcomers

• invalid

  invalid

  This doesn't seem right

• major

  major

  Key functionnality not part of the core flow

• minor

  minor

  Related to specific use cases only

• miscompile

  miscompile

  The compiler output does not behave as it should

• nice-to-have

  nice-to-have

  Cosmetic and/or light improvements to the framework

• performance-bug

  performance-bug

  Issues that are not related to correctness, but better code could be generated

• question

  question

  Further information is requested

• RFC

  RFC

  Request for Comments

• wontfix

  wontfix

  This will not be worked on