Labels · opencompl/lean-mlir

backlog

Issues that we should solve at some point, but don't have immediate priority

bug

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

llvm

Projects that are well-scoped, suitable for writing a single paper or thesis on.

question

Further information is requested

wip

Work in progress

wontfix

This will not be worked on

Provide feedback