Search results

<code>Ad</code> tasks should use <code>MonadCache</code> instead of <code>MonadWriteFile</code>

ad

refactor

Status: Open.

#599 In fmidue/modelling-tasks;

· jvoigtlaender opened on Feb 10, 2026

Pretty-printing in "datatype answers"

feedbackFeedback on submissionsFeedback on submissions

possibly-hilfskraft

Status: Open.

#580 In fmidue/modelling-tasks;

· jvoigtlaender opened on Feb 6, 2026

Make consistent if and where <code>addPretext</code> is output

feedbackFeedback on submissionsFeedback on submissions

low-priority

possibly-hilfskraft

Status: Open.

#579 In fmidue/modelling-tasks;

· jvoigtlaender opened on Feb 6, 2026

Structure of the parallel generations

Status: Open.

#578 In fmidue/modelling-tasks;

· jvoigtlaender opened on Feb 4, 2026

add example solutions to (default) instances for Reach.Reach and Reach.Deadlock

petri

possibly-hilfskraft

testing

Status: Open.

#565 In fmidue/modelling-tasks;

· jvoigtlaender opened on Jan 23, 2026

Add XRefCheck to CI

possibly-hilfskraft

Status: Open.

#564 In fmidue/modelling-tasks;

· jvoigtlaender opened on Jan 23, 2026

<code>extraText</code> in <code>Reach.Reach</code> and <code>Reach.Deadlock</code>

after-exam

copilot-eventually

petri

Status: Open.

#563 In fmidue/modelling-tasks;

· jvoigtlaender opened on Jan 20, 2026

Hovering doesn't work properly on Petri net places with high token count

graphics

petri

possibly-hilfskraft

Status: Open.

#562 In fmidue/modelling-tasks;

· jvoigtlaender opened on Jan 20, 2026

Impact of shuffling on runtimes

refactor

research

Status: Open.

#556 In fmidue/modelling-tasks;

· jvoigtlaender opened on Jan 18, 2026

The <code>graphLayouts</code> setting may cause task instances to fail to render on Autotool.

check required

petri

Status: Open.

#540 In fmidue/modelling-tasks;

· guard-who opened on Jan 12, 2026

Test failure on <code>DifferentNames</code>

bugSomething isn't workingSomething isn't working

cd-od

testing

Status: Open.

#508 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 27, 2025

Add Petri-Reach solutions to example instances

feedbackFeedback on submissionsFeedback on submissions

petri

Status: Open.

#495 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 22, 2025