Critical
Confirmed
#1158007
Multiple File Selection Using Cmd-A
TAPAAL
Critical
New
#1593365
Engines and parsing of XML nets
TAPAAL
Critical
Fix Committed
#1680569
Communication with verifypn engine
TAPAAL
Critical
In Progress
#1795866
Not finding the fastest trace
TAPAAL
Critical
Fix Committed
#1821164
Startup issue of 3.5.0 on linux
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
#1932306
Problem with CPN verification
TAPAAL
Critical
Fix Committed
#1932308
Cannot unfold net
TAPAAL
Critical
Fix Committed
#1932310
Second unfolding with x++++ fails
TAPAAL
Critical
Fix Committed
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
#1958521
Intro-example CPN unfodling issue
TAPAAL
Critical
Fix Committed
#1958654
k-bound is to big
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
Critical
Fix Committed
#1965500
Engine selection broken on mac
TAPAAL
Critical
Fix Committed
#1967251
LTL - wrong answer
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
TAPAAL
Critical
Fix Committed
TAPAAL
High
New
TAPAAL
High
Confirmed
#1543131
Query options not fully shown
TAPAAL
High
Confirmed
#1545763
Fonts and high resolution screen
TAPAAL
High
Fix Committed
TAPAAL
High
Fix Committed
High
Fix Committed
TAPAAL
High
Fix Committed
High
Fix Committed
TAPAAL
High
Fix Committed
#1953355
Variable names in enumeration types
TAPAAL
High
Fix Committed
#1953683
cpn-packet - broken verification
TAPAAL
High
Fix Committed
#1960299
GUI does not show TAR traces
TAPAAL
High
Fix Committed
#1961221
CPN - empty produce can be created
TAPAAL
High
Fix Committed
TAPAAL
High
Fix Committed
TAPAAL
High
Fix Committed
Medium
Confirmed
Medium
Fix Committed
TAPAAL
Medium
Fix Committed
TAPAAL
Medium
Fix Committed
TAPAAL
Medium
Fix Committed
Medium
Fix Committed
#1934101
Simulating CPN
TAPAAL
Medium
Fix Committed
TAPAAL
Medium
Fix Committed
#1955635
Unfolding with control queries
TAPAAL
Medium
Fix Committed
#1956583
CPN unfold - out-of-bounds error
TAPAAL
Medium
Fix Committed
#1959497
Cpn-packet verification fails
TAPAAL
Medium
Fix Committed
#1959498
Verifytapn in CPN verification
TAPAAL
Medium
Fix Committed
Medium
Fix Committed
TAPAAL
Low
Confirmed
#1168845
Try and Catch control flow
TAPAAL
Low
New
TAPAAL
Low
New
#1849778
Dark theme on Ubuntu
TAPAAL
Low
Confirmed
TAPAAL
Low
Fix Committed
TAPAAL
Low
Fix Committed
TAPAAL
Low
Confirmed
TAPAAL
Low
Fix Committed
#1876156
Arrow tips are jumping
TAPAAL
Low
Confirmed
TAPAAL
Low
Confirmed
TAPAAL
Low
Confirmed
TAPAAL
Low
Fix Committed
Low
Fix Committed
Low
Fix Committed
TAPAAL
Low
Fix Committed
TAPAAL
Low
Fix Committed
#1958838
No trace for CPN net
TAPAAL
Low
Fix Committed
TAPAAL
Low
Fix Committed
#1988737
Labels on arcs move on save/reload
TAPAAL
Wishlist
Triaged
TAPAAL
Wishlist
Triaged
TAPAAL
Wishlist
Triaged
#810908
Editing Features
TAPAAL
Wishlist
Confirmed
Wishlist
Triaged
TAPAAL
Wishlist
Triaged
TAPAAL