Commented bugs
Critical
Fix Committed
TAPAAL
High
Fix Committed
#1953355
Variable names in enumeration types
TAPAAL
Medium
Fix Committed
#1955635
Unfolding with control queries
TAPAAL
Low
Fix Committed
#1988737
Labels on arcs move on save/reload
TAPAAL
Undecided
New
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1938797
Deleting arc expressions
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1938866
CPN export/import issues
TAPAAL
Undecided
Fix Committed
Undecided
Fix Committed
#1939878
boundedness check is broken
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1940098
Disappearing tokens
TAPAAL
Undecided
Fix Committed
#1940401
Number keeps increasing
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1940403
Place becomes incorrectly shared
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1940413
Removing the same product type
TAPAAL
Undecided
Fix Committed
#1940414
Disabled variable buttons
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1940416
Removing selection of list items
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1940523
undo problems for cpn
TAPAAL
Undecided
Fix Committed
#1940524
Colored tokens not drawn
TAPAAL
Undecided
Fix Committed
#1940817
cpn manual parser
TAPAAL
Undecided
Fix Committed
#1940896
NPE when removing enumeration
TAPAAL
Undecided
Fix Committed
#1941835
Rearrange guard expression dialog
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1941838
Select name text field
TAPAAL
Undecided
Fix Committed
#1947689
Merge components changes lens
TAPAAL
Undecided
Fix Committed
#1952526
Query dialog ignores LTL flag
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1983367
Can't remove newly added token
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1983371
Exception when verifying ltl query
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1984070
only weight=1 supported error
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1984072
.all product color error
TAPAAL
Undecided
Fix Committed
#1984074
Arc expression not changing
TAPAAL
Undecided
Fix Committed
#1984075
Empty verification error
TAPAAL
Undecided
Fix Committed
#1984190
query engine not updated
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1985989
Saving/loading changes color type
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1986938
Arc guard displaying wrong selection
TAPAAL
Undecided
Fix Committed
#1987058
Color type not updated
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1987288
Remove dot from dialogs
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1987292
Tokens not updated after type change
TAPAAL
Undecided
Fix Committed
#1987298
Incorrect loading of .all tokens
TAPAAL
Undecided
Fix Committed
#1987381
Verifyin intro-example
TAPAAL
Undecided
Fix Committed
#1987383
Boundedness check is broken
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#2004467
Incorrect query dialog for games
TAPAAL
Undecided
Fix Committed
#2004468
wrong k-bound
TAPAAL