fmidue/modelling-tasks

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• Has the placement of multiplicities become way worse?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#692 · 2026年8月17日 に作成

• Find new config

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  fmidue/modelling-tasks#688 · コメント 1 件 · 2026年7月31日 に作成

• More configurable structural options in generating class diagrams

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  cd-od enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 45/100

  fmidue/modelling-tasks#680 · 2026年7月10日 に作成

• Static `ExtraText` and Collapsible `ExtraText` can't be displayed at same time?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 52/100

  fmidue/modelling-tasks#677 · コメント 6 件 · 2026年7月2日 に作成

• add checks to `verifyDeadlock` and `verifyReach`

  再び着手できるかも @horriblename が 108 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  fmidue/modelling-tasks#674 · 担当者 1 名 · 2026年7月2日 に作成

• Flex-NameCdError: use instance validator

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 48/100

  fmidue/modelling-tasks#670 · コメント 1 件 · 2026年6月30日 に作成

• Some findings about (lack of) variation in AD task instances

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad observation

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#653 · コメント 1 件 · 2026年6月18日 に作成

• Printing both CD and OD in `DifferentNames` task feedback for some variants

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  cd-od feedback

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#616 · コメント 6 件 · 2026年3月24日 に作成

• Hovering support for Activity Diagrams

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad graphics low-priority possibly-hilfskraft

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  fmidue/modelling-tasks#603 · 2026年2月17日 に作成

• Structure of the parallel generations

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#578 · コメント 1 件 · 2026年2月4日 に作成

• Add XRefCheck to CI

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  low-priority possibly-hilfskraft

  難易度 2/5 1〜3時間 初心者へのやさしさ 48/100

  fmidue/modelling-tasks#564 · 2026年1月23日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  graphics petri possibly-hilfskraft

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#562 · コメント 7 件 · 2026年1月20日 に作成

• Impact of shuffling on runtimes

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  refactor research

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#556 · コメント 1 件 · 2026年1月18日 に作成

• The `graphLayouts` setting may cause task instances to fail to render on Autotool.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  check required petri

  難易度 4/5 3〜5日 初心者へのやさしさ 32/100

  fmidue/modelling-tasks#540 · コメント 6 件 · 2026年1月12日 に作成

• Test failure on `DifferentNames`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug cd-od testing

  難易度 2/5 1〜3時間 初心者へのやさしさ 68/100

  fmidue/modelling-tasks#508 · コメント 4 件 · 2025年12月27日 に作成

• Notification on nightly test failures

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  build testing

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#481 · 2025年12月15日 に作成

• Parametrize draw commands for CDs and ODs

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  cd-od graphics

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#478 · 2025年12月15日 に作成

• Deliberately "anti-directional" inheritances in composition cycles

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy cd-od enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  fmidue/modelling-tasks#464 · リアクション 1 件 · 2025年12月2日 に作成

• Object diagrams with at least two instances of the same class

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy cd-od low-priority

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#462 · コメント 1 件 · 2025年12月1日 に作成

• Formulierungsdetail bei `RepairCd`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  cd-od phrasing possibly-hilfskraft

  難易度 1/5 1時間未満 初心者へのやさしさ 50/100

  fmidue/modelling-tasks#458 · コメント 7 件 · リアクション 1 件 · 2025年11月30日 に作成

• Verbalisierung von Multiplizitäten

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  cd-od phrasing

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#457 · コメント 2 件 · リアクション 1 件 · 2025年11月30日 に作成

• Repetitions also in `EnterAS`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#448 · 2025年10月22日 に作成

• Follow-up to #433

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad

  難易度 3/5 1〜2日 初心者へのやさしさ 30/100

  fmidue/modelling-tasks#446 · コメント 1 件 · 2025年10月22日 に作成

• Using `Set` more

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  copilot-eventually refactor

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#403 · 2025年9月22日 に作成

• Refactor `DeadlockConfig` and `ReachConfig`?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  copilot-eventually petri

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#398 · コメント 2 件 · 2025年9月17日 に作成

• Resolve usage of `convertToSimple` and `convertToPetriNet`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#397 · 2025年9月17日 に作成

• Further cleanup of Thick-Edges?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy cd-od feedback-required

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#342 · 2025年7月18日 に作成

• Remove "segments" for generation

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  refactor

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#340 · コメント 1 件 · 2025年7月9日 に作成

• Simplify verbalization of CD relationships in some cases?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  cd-od phrasing possibly-hilfskraft

  難易度 4/5 3〜5日 初心者へのやさしさ 38/100

  fmidue/modelling-tasks#335 · コメント 1 件 · 2025年7月7日 に作成

• Support having abstract classes in `MatchCdOd`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy cd-od enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#331 · コメント 1 件 · 2025年5月8日 に作成

• Amend implementation of getDefaultNet

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy petri

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#329 · コメント 1 件 · 2025年4月24日 に作成

• weitere Vereinfachung des "Knotenzählens" in Petri-Aufgaben

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy petri

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  fmidue/modelling-tasks#317 · 2025年4月1日 に作成

• `PickInstance`/`PetriNet.Types.DrawSettings` refactoring?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  petri

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#316 · コメント 2 件 · 2025年3月28日 に作成

• `Int` scope handling

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#315 · 2025年3月26日 に作成

• `petriScopeBitWidth` braucht nicht mehr (immer) die `places` und `transitions` Angaben?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy petri

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  fmidue/modelling-tasks#314 · コメント 1 件 · 2025年3月25日 に作成

• `active` -> `activated`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  copilot-eventually petri refactor

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#310 · 2025年3月7日 に作成

• Dealing with the `needsTuning` occurrences

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  petri testing

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#307 · コメント 2 件 · 2025年2月27日 に作成

• `sourceTransitionsConstraints` wrongly implemented?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy bug petri

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#306 · 2025年2月27日 に作成

• (in)dependent shuffling for Select/Pick tasks?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad cd-od petri

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#305 · 2025年2月17日 に作成

• bestimmte Tests für *jeden* Aufgabentyp

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  copilot-eventually testing

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#304 · 2025年2月17日 に作成

• interaction between number of active transitions and presence of source transitions in concurrency tasks

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  alloy petri

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#303 · コメント 3 件 · 2025年2月16日 に作成

• Zusammenhang von auxiliaryPetriNodeAbsent und cycles

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad alloy

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#302 · 2025年2月7日 に作成

• Enforcement of `noActivityFinalInForkBlocks = Just True` in `SelectPetri`, `MatchPetri`, `FindAuxiliaryPetriNodes`?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad alloy

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#301 · コメント 4 件 · 2025年2月5日 に作成

• Missing config checks in AD sequence tasks?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad alloy

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  fmidue/modelling-tasks#300 · 2025年2月5日 に作成

• Why can't there be two activity final nodes outside fork blocks?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  ad alloy

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  fmidue/modelling-tasks#299 · コメント 1 件 · 2025年2月5日 に作成

• Feedback-Vorschlag (komplex) bei Konflikt-Erkennen-Aufgabe (wäre sicher analog bei Nebenläufigkeit)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feedback petri

  難易度 4/5 3〜5日 初心者へのやさしさ 30/100

  fmidue/modelling-tasks#270 · コメント 2 件 · 2024年10月2日 に作成

• Show solution on syntactically wrong submissions?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  exam feedback observation

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#265 · コメント 1 件 · 2024年9月26日 に作成

• Tutorrückmeldung bei Petri-Pick

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement feedback petri possibly-hilfskraft

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  fmidue/modelling-tasks#255 · コメント 1 件 · 2024年6月21日 に作成

• Bewertungsfunktion bei Reach-Aufgaben

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  fairness grading observation

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#246 · コメント 2 件 · 2024年3月13日 に作成

• Mit "wilden" Eingaben etwa hinsichtlich Anführungszeichen umgehen?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement possibly-hilfskraft

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  fmidue/modelling-tasks#237 · コメント 3 件 · 2024年1月31日 に作成