Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 19

  • Bug
    Yavor Ivanov / tamarin-prover
    Failure in the code
  • Feature
    Yavor Ivanov / tamarin-prover
    Request for a new Feature in the Code
  • InProgress
    Yavor Ivanov / tamarin-prover
    Work on Issue started
  • Prio: High
    Yavor Ivanov / tamarin-prover
  • Prio: Low
    Yavor Ivanov / tamarin-prover
  • Prio: Medium
    Yavor Ivanov / tamarin-prover
  • Question
    Yavor Ivanov / tamarin-prover
    Question or problem
  • Resolved
    Yavor Ivanov / tamarin-prover
    Bug is resolved | Feature is implemented.
  • SecurityBug
    Yavor Ivanov / tamarin-prover
    Security related bug
  • Won'tFix
    Yavor Ivanov / tamarin-prover
    Can't or won't fix the bug
  • bug
    Yavor Ivanov / tamarin-prover
  • documentation
    Yavor Ivanov / tamarin-prover
  • duplicate
    Yavor Ivanov / tamarin-prover
  • enhancement
    Yavor Ivanov / tamarin-prover
  • good first issue
    Yavor Ivanov / tamarin-prover
  • help wanted
    Yavor Ivanov / tamarin-prover
  • invalid
    Yavor Ivanov / tamarin-prover
  • question
    Yavor Ivanov / tamarin-prover
  • wontfix
    Yavor Ivanov / tamarin-prover