1 → 23 of 23 results | First • Previous • Next • Last |
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
1 → 23 of 23 results | First • Previous • Next • Last |