Labels

• blocked

  blocked

  This is to be done... another day!

• dependencies

  dependencies

  Pull requests that update a dependency file

• duplicate

  duplicate

  Tautology (language)

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  No longer relevant

• question

  question

  Further information is requested

• wontfix

  wontfix

  This will not be worked on

• ✨ code quality

  ✨ code quality

  Uncle Bob would be proud

• ✨ feature

  ✨ feature

  New operation or other feature

• ✨ optimisation

  ✨ optimisation

  It's all about speed / space

• ❕ breaking

  ❕ breaking

  version_number++

• ❕ deprecation

  ❕ deprecation

  Some day, something will be superseeded

• 🎓 student programmer

  🎓 student programmer

  Work, work...

• 🎓 student project

  🎓 student project

  Work, work... but academic!

• 📁 bdd

  📁 bdd

  Binary Decision Diagrams

• 📁 build

  📁 build

  CMake, GitHub Actions etc.

• 📁 docs

  📁 docs

• 📁 example

  📁 example

  (Proof by) Examples

• 📁 internal

  📁 internal

  This is where the ✨magic✨happens

• 📁 statistics

  📁 statistics

  In the name of science!

• 📁 test

  📁 test

  Close enough to a proof assistant

• 📁 zdd

  📁 zdd

  Zero-suppressed Decision Diagrams

• 🔗 dependencies

  🔗 dependencies

  Pull requests that update a dependency file

• 🔥 bug

  🔥 bug

  Something isn't working

• 🔥 regression

  🔥 regression

  Something slowed doooooooown

• 🔥 warning

  🔥 warning

  Something is (slightly) working