Lena Ernstsen

Related bugs

Undecided

Fix Committed

#1987397 Color token counting if .all is used with product type

TAPAAL 6

Undecided

Fix Committed

#1987636 Structural reductions for colored nets

TAPAAL 6

Undecided

Fix Committed

#1988664 Added tokens with .all does not update if color type is changed

TAPAAL 6

Undecided

Fix Committed

#1995844 Token count not updating on undo/redo

TAPAAL 6

Undecided

Fix Committed

#1997234 CTL and LTL not enough tokens problem

TAPAAL 6

Undecided

Fix Committed

#2004467 Incorrect query dialog for games

TAPAAL 6

Undecided

Fix Committed

#2004468 wrong k-bound

TAPAAL 6

Undecided

Fix Committed

#2004559 Zoom update at different tabs

TAPAAL 6

Undecided

Fix Committed

#2004561 Batch processing for verify is broken in 3.9

TAPAAL 6

Undecided

Fix Committed

#2006111 game-harddisk boundedness check

TAPAAL 6

Undecided

Fix Committed

#2006132 Some examples verfication is broken

TAPAAL 6

Undecided

Fix Committed

#2007838 Error if querydialog is not opened

TAPAAL 6

Undecided

Fix Committed

#2007944 Batch verify fails in cpn branch

TAPAAL 6

Undecided

In Progress

#2008493 LTL trace error in 3.9

TAPAAL 6

Undecided

Fix Committed

#2009162 Show inconclusive in yellow in batch verify

TAPAAL 6

Undecided

Fix Committed

#2011299 Reordering of product color types

TAPAAL 6

Undecided

Fix Committed

#2012121 Missing brackets in guard expressions

TAPAAL 6

Undecided

Fix Committed

#2012151 Shared place - colored tokens are confused

TAPAAL 6

Undecided

Fix Committed

#2020433 Untiming engine change

TAPAAL 6

Undecided

Fix Committed

#2020590 Token minimization issue - CPN hyper-LTL

TAPAAL 6

Undecided

Fix Committed

#2023291 Boundedness issue

TAPAAL 6

Undecided

Fix Committed

#2024923 Boundedness for timed CPN issues

TAPAAL 6

Undecided

Fix Committed

#2024928 Intervals for product colors

TAPAAL 6

Undecided

Fix Committed

#2024930 Urgent transition for color specific intervals

TAPAAL 6

Undecided

Fix Committed

#2024939 Traces are show even if not hyper-LTL

TAPAAL 6

Undecided

Fix Committed

#2024959 Open net and there are red/yellow transitions

TAPAAL 6

Undecided

Fix Committed

#2024960 Wrong engine on packet-delivery

TAPAAL 6

Undecided

Fix Committed

#2024961 Batch verification and k-bound

TAPAAL 6