TAPAAL

1 → 75 of 225 results First • Previous • • Last
Critical
Fix Committed
#1932259 CPN branch fails unit test "SharedPlace has a token bug#1887512"
TAPAAL 6
Critical
Fix Committed
#1932286 Adding global constand in non colored net opens wrong dialog
TAPAAL 6
Critical
Fix Committed
#1932288 Adding two varaibles with same name throws exception
TAPAAL 6
Critical
Fix Committed
#1932306 Problem with CPN verification
TAPAAL 6
Critical
Fix Committed
#1932308 Cannot unfold net
TAPAAL 6
Critical
Fix Committed
#1932310 Second unfolding with x++++ fails
TAPAAL 6
Critical
Fix Committed
#1933814 TimedPlaceMarkingEdit contains code to keep colored tokens expression consistent
TAPAAL 6
Critical
Fix Committed
#1934103 No warning is shown is unfold of CPN fails
TAPAAL 6
Critical
Fix Committed
#1958521 Intro-example CPN unfodling issue
TAPAAL 6
Critical
Fix Committed
#1958654 k-bound is to big
TAPAAL 6
Critical
Fix Committed
#1958874 Error when running query from query list
TAPAAL 6
Critical
Fix Committed
#1959661 Unfold colored timed output arc with weight
TAPAAL 6
Critical
Fix Committed
#1964937 Changing int range color type makes tokens in existing places not be drawn
TAPAAL 6
Critical
Fix Committed
#1965500 Engine selection broken on mac
TAPAAL 6
Critical
Fix Committed
#1967251 LTL - wrong answer
TAPAAL 6
Critical
Fix Committed
#1988734 Can't close place dialog after updating color type
TAPAAL 6
Critical
Fix Committed
#2007676 Loading net with product colors fails
TAPAAL 6
Critical
Fix Committed
#2007831 Saves invalid net after renaming color type used in invariant
TAPAAL 6
High
Fix Committed
#1932271 Global constats, color types and variables list does not update the move up/down buttons correctly
TAPAAL 6
High
Fix Committed
#1934109 CPN mUnfolding does not seem to work if you are usign componets
TAPAAL 6
High
Fix Committed
#1934111 Edit color of varaible give error "color with name already exits"
TAPAAL 6
High
Fix Committed
#1953355 Variable names in enumeration types
TAPAAL 6
High
Fix Committed
#1953683 cpn-packet - broken verification
TAPAAL 6
High
Fix Committed
#1960299 GUI does not show TAR traces
TAPAAL 6
High
Fix Committed
#1961221 CPN - empty produce can be created
TAPAAL 6
High
Fix Committed
#1964931 You can delete color type used in variable
TAPAAL 6
High
Fix Committed
#1968473 Select engine menu on windows does not filter *.exe correctly
TAPAAL 6
High
Fix Committed
#1968474 Unfold a cpn model with ltl and ctl query import unfolded querys as either ltl or ctl
TAPAAL 6
Medium
Fix Committed
#1932252 Exception on large "range of integers" color
TAPAAL 6
Medium
Fix Committed
#1932280 The global constatns, color types and varibales box has a wrong L&F
TAPAAL 6
Medium
Fix Committed
#1934101 Simulating CPN
TAPAAL 6
Medium
Fix Committed
#1955635 Unfolding with control queries
TAPAAL 6
Medium
Fix Committed
#1956583 CPN unfold - out-of-bounds error
TAPAAL 6
Medium
Fix Committed
#1959497 Cpn-packet verification fails
TAPAAL 6
Medium
Fix Committed
#1959498 Verifytapn in CPN verification
TAPAAL 6
Medium
Fix Committed
#1959906 Time guard on arc does not get removed when clicking the "Remove" button (throws an error)
TAPAAL 6
Medium
Fix Committed
#1960000 GUI attempts to autolayout empty nets after unfolding
TAPAAL 6
Low
Fix Committed
#1932275 Global constats, color, types and variable lists can not be sorted
TAPAAL 6
Low
Fix Committed
#1933124 Editing guard expression diables colortype selection
TAPAAL 6
Low
Fix Committed
#1958838 No trace for CPN net
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
Fix Committed
#1895130 Constant blicking in weights is not highlighed
TAPAAL 6
Undecided
Fix Committed
#1896459 Recompile verifytapn for linux64
TAPAAL 6
Undecided
Fix Committed
#1902229 Two clicks needed to show panes in sidepane
TAPAAL 6
Undecided
Fix Committed
#1934766 Untimed net verification fails
TAPAAL 6
Undecided
Fix Committed
#1934767 Timed, colored game net - problem
TAPAAL 6
Undecided
Fix Committed
#1934768 Cyclic enumeration does not allow reordering of colors
TAPAAL 6
Undecided
Fix Committed
#1934769 Error messages fo interranges
TAPAAL 6
Undecided
Fix Committed
#1934786 Manual edit of guard expressions
TAPAAL 6
Undecided
Fix Committed
#1936611 Layout is launched even if the net has a layout
TAPAAL 6
Undecided
Fix Committed
#1936638 Boundedness check for CPN is broken
TAPAAL 10
Undecided
Fix Committed
#1938794 Cannot unfold net
TAPAAL 6
Undecided
Fix Committed
#1938796 Change of color type
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
#1938806 Detection of used variables is not working
TAPAAL 6
Undecided
Fix Committed
#1938866 CPN export/import issues
TAPAAL 6
Undecided
Fix Committed
#1939122 Boundedness check in timed CPN is broken
TAPAAL 6
Undecided
Fix Committed
#1939939 Multipe arcs in unfolding
TAPAAL 6
Undecided
Fix Committed
#1940098 Disappearing tokens
TAPAAL 6
Undecided
Fix Committed
#1940401 Number keeps increasing
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
#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
#1941837 Rearrange arc editor dialog
TAPAAL 6
Undecided
Fix Committed
#1952521 cmd-X shortcut (import PNML) missing
TAPAAL 6
Undecided
Fix Committed
#1952522 Disable .all in transport arcs
TAPAAL 6
Undecided
Fix Committed
#1952524 No statistics shown for CPN verification
TAPAAL 6
Undecided
Fix Committed
#1952525 CPN unfold generation issue - missing close tag formula
TAPAAL 6
1 → 75 of 225 results First • Previous • • Last
Bug supervisor:
TAPAAL Developers

Series-targeted bugs

Milestone-targeted bugs