Merge requests · waldmann / autotool · GitLab

Resolve "neuer Aufgaben-Status "Präsentation""

!155 · created Oct 23, 2024 by waldmann
database
- Merged
updated Oct 24, 2024
Resolve "keine Neubewertung bei exakt wiederholter Einsendung"

!154 · created Jul 24, 2024 by waldmann
database prüfung
updated Jul 25, 2024
Resolve "URL for master's thesis "Rest-orientierte ..." is gone?"

!153 · created Jul 16, 2024 by Marcellus Siegburg
documentation
updated Jul 17, 2024
Resolve "Teilnehmer soll eigene Übungsgruppe deutlich sehen"

!152 · created Jul 14, 2024 by waldmann
blocker frontend
- Merged
updated Jul 18, 2024
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 "wanted: Aufgabe zu Größe von endlichen Typen, mit Polymorphie"

!150 · created Jun 22, 2024 by waldmann
- Merged
updated Jun 25, 2024
Resolve "Aufgabe Typecheck: zuviele Zeilenumbrüche"

!149 · created Apr 21, 2024 by waldmann
- Merged
updated Apr 22, 2024
Draft: Resolve "Beschreibung, Bildschirmfotos, Demo für essen-und-lernen 17. April"

!148 · created Mar 19, 2024 by waldmann
updated Mar 19, 2024
Draft: Resolve "ghc-9.10"

!147 · created Mar 18, 2024 by waldmann
updated Mar 18, 2024
Resolve "Trial.cgi: SQLqueries.error in query:FUNCTION autoan.NOW does not exist."

!146 · created Mar 13, 2024 by waldmann
database
- Merged
updated Mar 13, 2024
Resolve "Trial.cgi: SQLqueries.error in query:FUNCTION autoan.NOW does not exist."

!145 · created Mar 11, 2024 by waldmann
database
- Merged
updated Mar 12, 2024
Ghc 9.8

!144 · created Mar 02, 2024 by waldmann
- Merged
updated Mar 03, 2024
Draft: Resolve "DPLL: teach solver (in generator) about variable elimination"

!143 · created Feb 15, 2024 by waldmann
backend
updated Mar 03, 2024
Bugfix/Collection/DPLL/Doc/Metrics: fix wrong calculation of required resolutions to eliminate a variable

!142 · created Feb 13, 2024 by dreinhar
- Merged
updated Feb 14, 2024
refine documentation: variable elimination (DPLL)

!141 · created Feb 12, 2024 by waldmann
- Merged
updated Feb 12, 2024
Resolve "refer to new repo host (git.imn)"

!140 · created Feb 07, 2024 by waldmann
frontend
- Merged
updated Feb 07, 2024
Draft: Ghc 9 8

!139 · created Jan 31, 2024 by waldmann
- 1
updated Feb 26, 2024
Draft: Resolve "move to LTS-22 (ghc-9.6)"

!138 · created Dec 18, 2023 by waldmann
ghc-9.6
updated Dec 18, 2023
Resolve "Program_With_Side_Effects: cannot parse task instance"

!137 · created Dec 12, 2023 by waldmann
backend bug
- Merged
updated Dec 13, 2023
Draft: Resolve "test fails for Algebraic.Integer"

!136 · created Oct 30, 2023 by waldmann

Prev
1
2
3
4
5
…
8
Next