Reported bugs
1 → 56 of 56 results | First • Previous • Next • Last |
Low
Fix Committed
TAPAAL
Undecided
Fix Committed
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
Undecided
Fix Committed
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
#1941837
Rearrange arc editor dialog
TAPAAL
Undecided
Fix Committed
#1941838
Select name text field
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
#1971422
up-arrow button not disabled
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
#1985048
Can edit used color
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
TAPAAL
Undecided
Fix Committed
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
#1987061
Arc dialog freezes
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
TAPAAL
Undecided
Fix Committed
#2004467
Incorrect query dialog for games
TAPAAL
Undecided
Fix Committed
#2004468
wrong k-bound
TAPAAL
Undecided
Fix Committed
#2007838
Error if querydialog is not opened
TAPAAL
1 → 56 of 56 results | First • Previous • Next • Last |