TAPAAL

1 → 24 of 24 results First • Previous • Next • 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
1 → 24 of 24 results First • Previous • Next • Last
Bug supervisor:
TAPAAL Developers

Series-targeted bugs

Milestone-targeted bugs