TAPAAL

1 → 75 of 307 results First • Previous • • Last
Critical
Confirmed
#1158007 Multiple File Selection Using Cmd-A
TAPAAL 6
Critical
New
#1593365 Engines and parsing of XML nets
TAPAAL 6
Critical
Fix Committed
#1680569 Communication with verifypn engine
TAPAAL 6
Critical
In Progress
#1795866 Not finding the fastest trace
TAPAAL 6
Critical
Fix Committed
#1821164 Startup issue of 3.5.0 on linux
TAPAAL 10
Critical
New
#1847802 Place statistics for verifydtapn seems wrong
TAPAAL 6
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
New
#1297338 Cannot generate trace issues for inclusion
TAPAAL 6
High
Confirmed
#1543131 Query options not fully shown
TAPAAL 6
High
Confirmed
#1545763 Fonts and high resolution screen
TAPAAL 6
High
In Progress
#1891001 The Dispaly of future enabled is always enabled
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
#1947517 Arc-path points righ-click menu is missing
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
Confirmed
#1856033 If version check fails for an engine, Engine selection dialog cant open
TAPAAL 6
Medium
Confirmed
#1887759 Resize annotation note is not undoable
TAPAAL 6
Medium
Fix Committed
#1923011 Text in textboxes are "cut" on Ubuntu
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
#1947835 Using Delay & Fire does wong time delay
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
Confirmed
#1168845 Try and Catch control flow
TAPAAL 6
Low
New
#1219511 UPPAAL translations fail generating trace
TAPAAL 6
Low
New
#1849778 Dark theme on Ubuntu
TAPAAL 6
Low
Confirmed
#1853689 StackOverFlow exception due to large net
TAPAAL 6
Low
Confirmed
#1870888 Place dialog adds undo even if nothing was changed
TAPAAL 6
Low
Confirmed
#1870892 Extreme decreasing in node space is broken
TAPAAL 6
Low
Confirmed
#1870924 Engine selection looks too much at name of file
TAPAAL 6
Low
Confirmed
#1876156 Arrow tips are jumping
TAPAAL 6
Low
Confirmed
#1879351 Tab close button disappears for long petri net names
TAPAAL 6
Low
Confirmed
#1886925 Version check reports no update if it cant read version.txt
TAPAAL 6
Low
Confirmed
#1887757 Undo/Redo of decrease node spacing does not work as expected
TAPAAL 6
Low
Confirmed
#1892354 Net statistics will show wrong values for "Shown component" after running Remove orphan transition/place
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
#1952461 Symbolic link to start tapaal on linux
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
Wishlist
Triaged
#476378 UPPAAL style indicators on queries
TAPAAL 6
Wishlist
Triaged
#635997 Implement support for copy/past of net
TAPAAL 6
Wishlist
Triaged
#810908 Editing Features
TAPAAL 12
Wishlist
Confirmed
#856347 Export verifytaPN XML does not include "discrete inclusion" options
TAPAAL 6
Wishlist
Triaged
#872825 Remove the Shared Place / Transition List from the right bar
TAPAAL 6
1 → 75 of 307 results First • Previous • • Last
Bug supervisor:
TAPAAL Developers

Series-targeted bugs

Milestone-targeted bugs