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
Draft: Resolve "DPLL: teach solver (in generator) about variable elimination"

!143 · created Feb 15, 2024 by waldmann
backend
updated Mar 03, 2024
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 "add CFG property: singleton"

!133 · created Jun 24, 2023 by waldmann
backend new feature
updated Jun 26, 2023
Resolve "Pump: Schranke für Nein sollte konfigurierbar sein"

!131 · created Jun 10, 2023 by waldmann
backend enhancement performance
- Merged
updated Jun 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 "add JSON-RPC interface (and phase out XMLRPC in the long run)"

!83 · created Mar 15, 2021 by waldmann
backend historic infrastructure
- Merged
updated Mar 17, 2021
Resolve "wanted: find-model-quiz"

!77 · created Feb 18, 2021 by waldmann
FO-PL-Semantik backend
- Merged
updated Feb 18, 2021
Resolve "replace inline png graphics by svg"

!70 · created Feb 16, 2021 by waldmann
backend enhancement
- Merged
updated Feb 17, 2021
time-out in FO-würfell

!66 · created Feb 13, 2021 by waldmann
backend
- Merged
updated Feb 13, 2021
export FO würfel (for #747)

!63 · created Feb 11, 2021 by waldmann
backend
- Merged
updated Feb 11, 2021
Resolve "Wanted: Würfel für Regular.Top"

!60 · created Feb 10, 2021 by waldmann
backend
- Merged
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 "Syntaxfehler bei Graphen"

!57 · created Feb 10, 2021 by waldmann
backend
- 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

Prev
1
2
Next