Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 41

  • Aufg. mod. Semantik
    waldmann / autotool
  • authentication
    waldmann / autotool
  • automata
    waldmann / autotool
  • backend
    waldmann / autotool
    issue appears in server-implementation or server-interface
  • berechenbare Funktionen
    waldmann / autotool
    Semantik von berechenbaren Funktionen in verschiedenen Modellen
  • blocker
    waldmann / autotool
    use case does not work and there is no work-around
  • bonn
    waldmann / autotool
    issues related to UBonn exercises
  • bug
    waldmann / autotool
    use case does not work but there is a work-around
  • CI
    waldmann / autotool
    continuous intergration (automated build and test)
  • cyp
    waldmann / autotool
  • database
    waldmann / autotool
    issue involves database
  • documentation
    waldmann / autotool
  • Doing
    waldmann / autotool
  • easy
    waldmann / autotool
    issue should be easy to handle (it is clear what to do and where)
  • enhancement
    waldmann / autotool
    improve existing feature
  • FO-PL-Semantik
    waldmann / autotool
  • frontend
    waldmann / autotool
    issue appears in yesod
  • ghc-9.10
    waldmann / autotool
  • ghc-9.12
    waldmann / autotool
  • ghc-9.2
    waldmann / autotool