Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • module::repl
    PIKA-lab / tuProlog / 2P-Kt
  • module::io-lib
    PIKA-lab / tuProlog / 2P-Kt
  • module::test-solve
    PIKA-lab / tuProlog / 2P-Kt
  • feature-request
    PIKA-lab / tuProlog / 2P-Kt
  • moduel::io-lib
    PIKA-lab / tuProlog / 2P-Kt
  • module::oop-lib
    PIKA-lab / tuProlog / 2P-Kt
  • module::ide
    PIKA-lab / tuProlog / 2P-Kt
  • incident
    PIKA-lab / tuProlog / 2P-Kt
    Denotes a disruption to IT services and the associated issues require immediate attention
  • module::unify
    PIKA-lab / tuProlog / 2P-Kt
  • module::solve
    PIKA-lab / tuProlog / 2P-Kt
  • dsl
    PIKA-lab / tuProlog / 2P-Kt
  • module::dsl-core
    PIKA-lab / tuProlog / 2P-Kt
  • testing
    PIKA-lab / tuProlog / 2P-Kt
  • module::parser-theory
    PIKA-lab / tuProlog / 2P-Kt
  • module::parser-core
    PIKA-lab / tuProlog / 2P-Kt
  • module::core
    PIKA-lab / tuProlog / 2P-Kt
  • module::theory
    PIKA-lab / tuProlog / 2P-Kt
  • module::solve-classic
    PIKA-lab / tuProlog / 2P-Kt
    Related to solve-classic module
  • module::solve-streams
    PIKA-lab / tuProlog / 2P-Kt
    Related to solve-streams module
  • ci-problem
    PIKA-lab / tuProlog / 2P-Kt