Search results

Use <code>collapsed</code> for <code>extraText</code>s

Status: Open.

#281 In fmidue/logic-tasks;

· jvoigtlaender opened on Jul 9, 2025

Make "<code>IO</code>-involving-types" more abstract/controlled

Status: Open.

#280 In fmidue/logic-tasks;

· jvoigtlaender opened on Jul 7, 2025

verbleibende Spitzfindigkeiten bei <code>RemoveBrackets</code>

before-ws2025

Status: Open.

#276 In fmidue/logic-tasks;

· jvoigtlaender opened on Apr 1, 2025

Aspekte zu <code>percentTrueEntries</code>

before-ws2025

Status: Open.

#275 In fmidue/logic-tasks;

· jvoigtlaender opened on Mar 28, 2025

Testen mit zufälligen Konfigurationen bei <code>Step</code> und <code>Prolog</code>

Status: Open.

#264 In fmidue/logic-tasks;

· jvoigtlaender opened on Mar 4, 2025

Test suite hangs when choosing random formula type at <code>DecideSpec</code>

Status: Open.

#263 In fmidue/logic-tasks;

· nimec01 opened on Mar 4, 2025

Resolution with clauses that contain <code>A</code> and <code>not(A)</code> together

Status: Open.

#258 In fmidue/logic-tasks;

· jvoigtlaender opened on Feb 13, 2025

Reimplement <code>parseDelayedWithAndThen</code> with function from <code>flex-tasks</code>?

Status: Open.

#254 In fmidue/logic-tasks;

· jvoigtlaender opened on Feb 6, 2025

Parameter bei <code>LogicResolutionComplete</code>

before-ws2025

Status: Open.

#245 In fmidue/logic-tasks;

· jvoigtlaender opened on Jan 19, 2025

Provide useful submission feedback for incremental solving process

Status: Open.

#235 In fmidue/logic-tasks;

· marcellussiegburg opened on Dec 17, 2024

potentiell verwirrende Feedback-Ausgaben abschalten

Status: Open.

#225 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 19, 2024

Rollen von <code>PropFormula</code> und <code>SynTree</code>

Status: Open.

#221 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 18, 2024