TAPAAL

76 → 150 of 322 results First • • • Last
Wishlist
Triaged
#1023799 Tool for removing unused transitions
TAPAAL 6
Wishlist
Triaged
#1031629 Copy and Paste of Components between nets
TAPAAL 6
Wishlist
Triaged
#1223188 Make boundedness check possible for UPPAAL translations
TAPAAL 6
Wishlist
New
#1243875 Allow shared places and shared transitions to be connected
TAPAAL 6
Wishlist
Triaged
#1674319 Copy and paste selected subnet
TAPAAL 6
Wishlist
Confirmed
#1868467 File association with .tapn file extension
TAPAAL 6
Wishlist
Confirmed
#1870889 Save as on windows shows all file endings
TAPAAL 6
Wishlist
Fix Committed
#1879130 Show net after structural reductions
TAPAAL 6
Wishlist
Triaged
#1952460 Move arcs by moving the endpoints
TAPAAL 6
Undecided
New
#1801729 "Search whole state space" failing for certain nets in batch processing
TAPAAL 6
Undecided
Fix Committed
#1882785 CTL verification statistics
TAPAAL 6
Undecided
New
#1886410 SidePane should be refactored
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
#1896459 Recompile verifytapn for linux64
TAPAAL 6
Undecided
New
#1897539 Transition labels are invisible in Ubuntu dark mode
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
#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
#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
#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
Fix Committed
#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
#1938868 When saving after simulation mode the left arrow key does not register
TAPAAL 6
Undecided
Fix Committed
#1939122 Boundedness check in timed CPN is broken
TAPAAL 6
Undecided
Fix Committed
#1939878 boundedness check is broken
TAPAAL 6
Undecided
Fix Committed
#1939939 Multipe arcs in unfolding
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
#1945642 Fix tikz export
TAPAAL 6
Undecided
In Progress
#1945984 Saving a file without .tapn ending
TAPAAL 6
Undecided
Fix Committed
#1947037 Show query on MouseOver
TAPAAL 6
Undecided
New
#1947576 Running verification on windows creates a file named "null" in package dir
TAPAAL 6
Undecided
Fix Committed
#1947689 Merge components changes lens
TAPAAL 6
Undecided
Fix Committed
#1950689 Toggle urgent transition
TAPAAL 6
Undecided
Fix Committed
#1951026 In timed lens there should be possible to draw urgent tranistion
TAPAAL 6
Undecided
Fix Committed
#1951292 Urgent transition missing check
TAPAAL 6
Undecided
Fix Committed
#1952520 Transition name highlighting
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
New
#1952523 Update the liste of all shortcuts
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
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
#1952528 Trace generatil fails for CPN
TAPAAL 6
76 → 150 of 322 results First • • • Last
Bug supervisor:
TAPAAL Developers

Series-targeted bugs

Milestone-targeted bugs