Labels

• For:binding

  The issue is related to bindings (python binding)
• For:devops

  The issue is related to devops (github actions, compilation, documentation, etc.)
• For:library

  The issue is related to library (c++ implementation)
• Module:nfa

  The issue is related to Nondeterministic Finite Automata
• Module:nft

  The issue is related to Nondeterministic Finite Transducers
• Priority:high

  Focus on this before the others.
• Priority:low

  Work on this only when there is nothing else to do.
• Priority:normal

  Work on this sooner rather than later.
• Status:in_progress

  The issue is currently being solved by someone
• Status:stale

  The PR's progress has stalled.
• Status:unplanned

  Merging this PR is not planned.
• Type:discussion

  A discussion of some particular topic in wider audience
• Type:optimization

  This issue is related to a possible optimization of an algorithm, improving the performance of Mata.
• Type:required

  A required implementation/change necessary in near future
• Type:suggestion

  A suggestion for feature/change that is not necessary at this moment