Lena Ernstsen

Related bugs

Critical

Fix Committed

#2007831 Saves invalid net after renaming color type used in invariant

TAPAAL 6

High

Fix Committed

#1953355 Variable names in enumeration types

TAPAAL 6

Medium

Fix Committed

#1955635 Unfolding with control queries

TAPAAL 6

Low

Fix Committed

#1971420 Pressing "m" on empty net throws exception

TAPAAL 6

Low

Fix Committed

#1988737 Labels on arcs move on save/reload

TAPAAL 6

Undecided

New

#1890940 Warnings when parsing a net are not shown

TAPAAL 6

Undecided

Fix Committed

#1895130 Constant blicking in weights is not highlighed

TAPAAL 6

Undecided

Fix Committed

#1902229 Two clicks needed to show panes in sidepane

TAPAAL 6

Undecided

Fix Committed

#1921393 Add hide/show names of places and transitions

TAPAAL 6

Undecided

Fix Committed

#1934113 unfold tab is not disabled in tools when cloing a CPN tab

TAPAAL 6

Undecided

Fix Committed

#1938778 Removing orphan places/transitions does not update scrollbars properly

TAPAAL 6

Undecided

Fix Committed

#1938783 Scrolling upwards is interrupted if mouse hits an arc

TAPAAL 6

Undecided

Fix Committed

#1938790 Undo removal of models in batch export

TAPAAL 6

Undecided

Fix Committed

#1938797 Deleting arc expressions

TAPAAL 6

Undecided

New

#1938799 Outline of shared places/transitions disappear when zooming in

TAPAAL 6

Undecided

Fix Committed

#1938866 CPN export/import issues

TAPAAL 6

Undecided

Fix Committed

#1938868 When saving after simulation mode the left arrow key does not register

TAPAAL 6

Undecided

Fix Committed

#1939878 boundedness check is broken

TAPAAL 6

Undecided

Fix Committed

#1940075 Added shared places/transitions does not enable buttons

TAPAAL 6

Undecided

Fix Committed

#1940098 Disappearing tokens

TAPAAL 6

Undecided

Fix Committed

#1940401 Number keeps increasing

TAPAAL 6

Undecided

Fix Committed

#1940402 Not possible to edit part of an interval

TAPAAL 6

Undecided

Fix Committed

#1940403 Place becomes incorrectly shared

TAPAAL 6

Undecided

Fix Committed

#1940404 Undo for reset arc expression not working

TAPAAL 6

Undecided

Fix Committed

#1940413 Removing the same product type

TAPAAL 6

Undecided

Fix Committed

#1940414 Disabled variable buttons

TAPAAL 6

Undecided

Fix Committed

#1940415 Buttons not enabled/disabled when undoing

TAPAAL 6

Undecided

Fix Committed

#1940416 Removing selection of list items

TAPAAL 6

Undecided

Fix Committed

#1940418 Buttons not disabled correctly in color type component

TAPAAL 6

Undecided

Fix Committed

#1940523 undo problems for cpn

TAPAAL 6

Undecided

Fix Committed

#1940524 Colored tokens not drawn

TAPAAL 6

Undecided

Fix Committed

#1940817 cpn manual parser

TAPAAL 6

Undecided

Fix Committed

#1940896 NPE when removing enumeration

TAPAAL 6

Undecided

Fix Committed

#1941835 Rearrange guard expression dialog

TAPAAL 6

Undecided

Fix Committed

#1941836 Remove token icon when the net is colored

TAPAAL 6

Undecided

Fix Committed

#1941837 Rearrange arc editor dialog

TAPAAL 6

Undecided

Fix Committed

#1941838 Select name text field

TAPAAL 6

Undecided

Fix Committed

#1947689 Merge components changes lens

TAPAAL 6

Undecided

Fix Committed

#1952526 Query dialog ignores LTL flag

TAPAAL 6

Undecided

Fix Committed

#1952527 Categorization of examples in CPN branch

TAPAAL 6

Undecided

Fix Committed

#1953508 Export timed-game queries missing control-flag

TAPAAL 6

Undecided

Fix Committed

#1965892 Out of bounded error in Guard Selection

TAPAAL 6

Undecided

Fix Committed

#1971421 Product color not shown correctly in transition dialog

TAPAAL 6

Undecided

Fix Committed

#1971422 up-arrow button not disabled

TAPAAL 6

Undecided

Fix Committed

#1983262 null pointer exceptions with cpn inhibitor arcs when verifying

TAPAAL 6

Undecided

New

#1983363 Scrolling is interrupted in left panel

TAPAAL 6

Undecided

Fix Committed

#1983365 Product colors with .all throws exception

TAPAAL 6

Undecided

Fix Committed

#1983367 Can't remove newly added token

TAPAAL 6

Undecided

Fix Committed

#1983368 Nets with urgent transitions can't be verified

TAPAAL 6

Undecided

Fix Committed

#1983371 Exception when verifying ltl query

TAPAAL 6

Undecided

Fix Committed

#1983373 colored-game net queries can't be verify

TAPAAL 6

Undecided

Fix Committed

#1984064 All engines should use XML queries

TAPAAL 6

Undecided

Fix Committed

#1984066 Cancelling unfold still opens simulation

TAPAAL 6

Undecided

Fix Committed

#1984070 only weight=1 supported error

TAPAAL 6

Undecided

Fix Committed

#1984071 Guard expression pred/succ on placeholders

TAPAAL 6

Undecided

Fix Committed

#1984072 .all product color error

TAPAAL 6

Undecided

Fix Committed

#1984074 Arc expression not changing

TAPAAL 6

Undecided

Fix Committed

#1984075 Empty verification error

TAPAAL 6

Undecided

Fix Committed

#1984190 query engine not updated

TAPAAL 6

Undecided

Fix Committed

#1985048 Can edit used color

TAPAAL 6

Undecided

Fix Committed

#1985880 IndexOutOfBounds when opening arc dialog

TAPAAL 6

Undecided

Fix Committed

#1985977 pred/succ both sides in transition guard

TAPAAL 6

Undecided

Fix Committed

#1985978 reset guard expression on color type change

TAPAAL 6

Undecided

Fix Committed

#1985989 Saving/loading changes color type

TAPAAL 6

Undecided

Fix Committed

#1986788 Invalid transition guard with logic comparison

TAPAAL 6

Undecided

Fix Committed

#1986938 Arc guard displaying wrong selection

TAPAAL 6

Undecided

Fix Committed

#1987058 Color type not updated

TAPAAL 6

Undecided

Fix Committed

#1987061 Arc dialog freezes

TAPAAL 6

Undecided

Fix Committed

#1987264 Exception after manual edit in transition dialog

TAPAAL 6

Undecided

Fix Committed

#1987288 Remove dot from dialogs

TAPAAL 6

Undecided

Fix Committed

#1987289 Remove structural reduction from results

TAPAAL 6

Undecided

Fix Committed

#1987292 Tokens not updated after type change

TAPAAL 6

Undecided

Fix Committed

#1987298 Incorrect loading of .all tokens

TAPAAL 6

Undecided

Fix Committed

#1987381 Verifyin intro-example

TAPAAL 6

Undecided

Fix Committed

#1987383 Boundedness check is broken

TAPAAL 6