Merge requests · waldmann / autotool · GitLab

Resolve "Graphen-Parser gestattet keine Kommentare"

!55 · created Feb 10, 2021 by waldmann
enhancement
- Merged
updated Feb 11, 2021
Resolve "einige Fehler in Grammatiken als Syntaxfehler deklararieren"

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

!53 · created Feb 10, 2021 by waldmann
bug
- Merged
updated Feb 11, 2021
Resolve "back-end soll erreichbare Punktzahl übertragen, Front-End darstellen"

!52 · created Feb 10, 2021 by waldmann
backend enhancement frontend
- Merged
updated Feb 10, 2021
Resolve "multi-choice-würfel"

!51 · created Feb 09, 2021 by waldmann
- Merged
updated Feb 10, 2021
Resolve "change student submissions to use database instead of file"

!50 · created Feb 08, 2021 by waldmann
database model refactor
- Merged
updated Feb 10, 2021
Resolve "Wanted: Würfel für Regular.Top"

!49 · created Feb 07, 2021 by waldmann
backend
- Merged
updated Feb 08, 2021
Resolve "Autolib.Reporter: nested silent is broken"

!48 · created Feb 07, 2021 by waldmann
bug
- Merged
updated Feb 07, 2021
Resolve "wanted: PCP invers"

!47 · created Feb 06, 2021 by waldmann
- Merged
updated Feb 08, 2021
Draft: Resolve "Ersetze Tabelle in Handler.Aufgaben durch Table.Core"

!46 · created Feb 05, 2021 by waldmann
enhancement frontend
updated Feb 05, 2021
Draft: Resolve "stackage lts-17 für ghc-8.10"

!45 · created Feb 05, 2021 by waldmann
infrastructure
- Closed
updated Mar 20, 2021
Draft: Resolve "CSV-Import"

!44 · created Feb 05, 2021 by waldmann
new feature
Resolve "Uhrzeiten: Verwendung und Darstellung überprüfen (local time vs. UTC)"

!43 · created Feb 03, 2021 by waldmann
prüfung
- Merged
updated Feb 05, 2021
Resolve "Halbe Punkte, Gewichtung von Aufgaben"

!42 · created Feb 02, 2021 by waldmann
database frontend prüfung
- Merged
updated Feb 03, 2021
Resolve "erlaube nachträgliches Bearbeiten von Aufgaben"

!41 · created Jan 28, 2021 by waldmann
database important prüfung
- Merged
updated Feb 02, 2021
Draft: Resolve "CI fails to find docs after build"

!40 · created Jan 26, 2021 by waldmann
infrastructure
updated Jan 28, 2021
Resolve "(tutor) Aufgabe bearbeiten -> Aufgabe testen: Internal server error"

!39 · created Jan 26, 2021 by waldmann
bug frontend
- Merged
updated Jan 27, 2021
Resolve "Multi-Choice (einfache Implementierung)"

!38 · created Jan 25, 2021 by waldmann
- Merged
updated Jan 25, 2021
Resolve "Klausur-Modus (Beschränkung von Versuchen und Rückmeldungen)"

!37 · created Jan 24, 2021 by waldmann
prüfung
- Merged
updated Jan 25, 2021
Resolve "Aufgabe zu Ad-Hoc-Polymorphie (Überladung) in Java"

!36 · created Jan 19, 2021 by waldmann
- Merged
updated Jan 23, 2021

Prev
1
2
3
4
5
6
7
8
Next