This repository was archived by the owner on Jan 10, 2025. It is now read-only.
Labels
Labels
15 labels
- A change requested by Alexey
- Something isn't working
- Something that needs to be discussed with either Alexey either Tim
- Improvements or additions to documentation
- This issue or pull request already exists
- Something that has to be communicated with pre-git people
- New feature or request
- Good for newcomers
- Extra attention is needed
- This doesn't seem right
- Further information is requested
- Explanation or comment drafted, ready to discuss before including in the paper
- Discussion done and reached agreement, ready to include in the paper
- A change requested by Tim
- This will not be worked on