Merge requests · waldmann / autotool

Latest updates from fmidue

!104 · created Sep 27, 2022 by waldmann
- Closed
- 13
updated Jan 17, 2024
Improve IO on file system and grading

!92 · created Dec 13, 2021 by waldmann
- Closed
- 1
updated Jan 17, 2024
Feature DPLL: variable elimination

!119 · created Feb 03, 2023 by waldmann
- Closed
updated Oct 24, 2023
Resolve "implement variable_elimination for DPLL"

!120 · created Feb 16, 2023 by waldmann
- Closed
updated Aug 07, 2023
Resolve "FPTypeCheck-Quiz: toDoc . reader . toDoc == toDoc , unexpected "[""

!109 · created Nov 18, 2022 by waldmann
backend bug
- Closed
updated Nov 18, 2022
Draft: Resolve "Anzeige Graphen"

!91 · created Dec 12, 2021 by waldmann
- Closed
updated Dec 12, 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 "Anzahl OK/NO aus Übersicht verstecken"

!61 · created Feb 11, 2021 by waldmann
bug prüfung
- Closed
updated Feb 11, 2021
WIP: Resolve "compile with ghc-8.8"

!26 · created Jan 18, 2020 by waldmann
- Closed
updated Jun 11, 2020
WIP: Resolve "compile with ghc-8.6 and stackage lts-13"

!19 · created Apr 11, 2019 by waldmann
- Closed
- 1
updated Apr 11, 2019
Fix typo in `KeineGruppen`

!16 · created Apr 04, 2018 by waldmann
- Closed
updated Apr 19, 2018