Labels

• automated/sync

  automated/sync

  Automated synchronisation between branches (e.g., merging `master` into `devel` after a release).

• For:binding

  For:binding

  The issue is related to bindings (python binding)

• For:devops

  For:devops

  The issue is related to devops (github actions, compilation, documentation, etc.)

• For:library

  For:library

  The issue is related to library (c++ implementation)

• Module:nfa

  Module:nfa

  The issue is related to Nondeterministic Finite Automata

• Module:nft

  Module:nft

  The issue is related to Nondeterministic Finite Transducers

• status:in_progress

  status:in_progress

  The issue is currently being solved by someone

• status:stale

  status:stale

  The PR's progress has stalled.

• status:unplanned

  status:unplanned

  Merging this PR is not planned.

• type:discussion

  type:discussion

  A discussion of some particular topic in wider audience

• type:optimization

  type:optimization

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

• type:required

  type:required

  A required implementation/change necessary in near future

• type:suggestion

  type:suggestion

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