Merge requests · waldmann / autotool · GitLab

Resolve "Strictness-Quiz ignores "constructors" parameter, builds type-incorrect instances"

!151 · created Jun 29, 2024 by waldmann
backend bug
- Merged
updated Jun 30, 2024
Resolve "Program_With_Side_Effects: cannot parse task instance"

!137 · created Dec 12, 2023 by waldmann
backend bug
- Merged
updated Dec 13, 2023
Resolve "Pump-Aufgaben: num-samples überprüfen"

!129 · created Jun 01, 2023 by waldmann
backend bug
- Merged
updated Jun 02, 2023
Resolve "LCS.Code.lcs does not return (construction of array is not lazy enough?)"

!113 · created Dec 05, 2022 by waldmann
backend bug
- Merged
updated Mar 29, 2023
Resolve "Euclid_Sudoku-poly-Quiz, configuration 1, toDoc . reader . toDoc == toDoc"

!111 · created Nov 19, 2022 by waldmann
backend bug
- Merged
updated Nov 19, 2022
Resolve "src/Exp/Roll.hs:16:9-57: Non-exhaustive patterns in [s]"

!110 · created Nov 18, 2022 by waldmann
backend bug
- Merged
updated Nov 18, 2022
Resolve "FPTypeCheck-Quiz: toDoc . reader . toDoc == toDoc , unexpected "[""

!109 · created Nov 18, 2022 by waldmann
backend bug
- Closed
updated Nov 18, 2022
Resolve "HeapbaumList-Quiz: uncaught exception: PatternMatchFail"

!107 · created Nov 08, 2022 by waldmann
backend bug
- Merged
updated Nov 17, 2022
Resolve "rewriting parser confuses variables with symbols"

!85 · created Jun 28, 2021 by waldmann
bug
- Merged
updated Jun 30, 2021
Resolve "Aufgabe Haskell-Blueprint: OK but incorrect?"

!84 · created Apr 29, 2021 by waldmann
blocker bug
- Merged
updated Jun 30, 2021
Resolve "Anzahl OK/NO aus Übersicht verstecken"

!62 · created Feb 11, 2021 by waldmann
bug prüfung
- Merged
updated Feb 11, 2021
Draft: Resolve "Anzahl OK/NO aus Übersicht verstecken"

!61 · created Feb 11, 2021 by waldmann
bug prüfung
- Closed
updated Feb 11, 2021
Resolve "überprüfen, daß alle Sprachbeschreibungen funktionieren"

!58 · created Feb 10, 2021 by waldmann
backend bug
- Merged
updated Feb 11, 2021
Resolve "Aufgabe Convert_To_Exp-Direct funktioniert nicht für einbuchstabiges Alphabet"

!56 · created Feb 10, 2021 by waldmann
bug
- Merged
updated Feb 11, 2021
Resolve "Aufgabe-Einstellung: bewertung"

!53 · created Feb 10, 2021 by waldmann
bug
- Merged
updated Feb 11, 2021
Resolve "Autolib.Reporter: nested silent is broken"

!48 · created Feb 07, 2021 by waldmann
bug
- Merged
updated Feb 07, 2021
Resolve "(tutor) Aufgabe bearbeiten -> Aufgabe testen: Internal server error"

!39 · created Jan 26, 2021 by waldmann
bug frontend
- Merged
updated Jan 27, 2021