Search results

Sinnloser Syntax-Check bei Mehrfeld-Resolution

after-semester

Status: Open.

#326 In fmidue/logic-tasks;

· patritzenfeld opened on Nov 27, 2025

Überprüfung bei Flex Konzertaufgabe anpassen

Status: Open.

#323 In fmidue/logic-tasks;

· patritzenfeld opened on Nov 24, 2025

ungünstige Zeilenumbrücke in Pick Task

Status: Open.

#320 In fmidue/logic-tasks;

· KatinkaMeer opened on Nov 21, 2025

Formulierung in Aufgabenstellung dubios

Status: Open.

#318 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 21, 2025

Are the remaining uses of PropFormula for inputs okay?

Status: Open.

#300 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 10, 2025

Use liberalParser in SubTreeSet task (sub-formulas)?

after-semester

Status: Open.

#299 In fmidue/logic-tasks;

· patritzenfeld opened on Nov 10, 2025

Überprüfung, dass PropFormula nur noch für Eingaben verwendet wird

Status: Open.

#298 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 10, 2025

Use collapsed for extraTexts

Status: Open.

#281 In fmidue/logic-tasks;

· jvoigtlaender opened on Jul 9, 2025

Testen mit zufälligen Konfigurationen bei Step und Prolog

Status: Open.

#264 In fmidue/logic-tasks;

· jvoigtlaender opened on Mar 4, 2025

Test suite hangs when choosing random formula type at DecideSpec

Status: Open.

#263 In fmidue/logic-tasks;

· nimec01 opened on Mar 4, 2025

Reimplement parseDelayedWithAndThen with function from flex-tasks?

Status: Open.

#254 In fmidue/logic-tasks;

· jvoigtlaender opened on Feb 6, 2025

Parameter bei LogicResolutionComplete

Status: Open.

#245 In fmidue/logic-tasks;

· jvoigtlaender opened on Jan 19, 2025