Search results

Constraints on transition behavior in Reach tasks

enhancementNew feature or requestNew feature or request

fairnessConcerning fairness of tasksConcerning fairness of tasks

petri

Status: Open.

#513 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 28, 2025

Optimization in Reach.Deadlock?

petri

questionFurther information is requestedFurther information is requested

refactor

Status: Open.

#511 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 27, 2025

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

Incorrect feedback output with <code>multipleChoice</code>

check required

Status: Open.

#492 In fmidue/modelling-tasks;

· patritzenfeld opened on Dec 17, 2025

Notification on nightly test failures

build

testing

Status: Open.

#481 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 15, 2025

Parametrize draw commands for CDs and ODs

after-exam

cd-od

graphics

Status: Open.

#478 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 15, 2025

Option for displaying "a mapped diagram" in feedback of <code>DifferentNames</code>

after-exam

cd-od

feedbackFeedback on submissionsFeedback on submissions

possibly-hilfskraft

Status: Open.

#475 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 12, 2025

Deliberately "anti-directional" inheritances in composition cycles

after-exam

alloy

cd-od

enhancementNew feature or requestNew feature or request

Status: Open.

#464 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 2, 2025

Layout agreement with "reprinted class diagram"

cd-od

graphics

possibly-hilfskraft

Status: Open.

#463 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 2, 2025

Object diagrams with at least two instances of the same class

alloy

cd-od

low-priority

Status: Open.

#462 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 1, 2025

Syntax checking for different components in pairs

feedbackFeedback on submissionsFeedback on submissions

petri

possibly-hilfskraft

Status: Open.

#461 In fmidue/modelling-tasks;

· jvoigtlaender opened on Dec 1, 2025