Jiri Srba

Subscribed bugs


76 → 150 of 187 results First • • • Last
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
Undecided
Fix Committed
#1952529 Trace layout missing
TAPAAL 6
Undecided
Fix Committed
#1952561 Environment transition instead of urgent
TAPAAL 6
Undecided
Fix Committed
#1952938 Batch processing is broken in trunk
TAPAAL 6
Undecided
Fix Committed
#1953508 Export timed-game queries missing control-flag
TAPAAL 6
Undecided
Fix Committed
#1954699 Boundedness check broken for TACPN
TAPAAL 6
Undecided
Fix Committed
#1954702 Approximation is failing both in trunk and cpn-gui-dev
TAPAAL 6
Undecided
Fix Committed
#1956759 tracenull switch problem
TAPAAL 6
Undecided
Fix Committed
#1956784 timed cpn approx trace problem
TAPAAL 6
Undecided
Fix Committed
#1958791 TAR wrong GUI reporting
TAPAAL 6
Undecided
Fix Committed
#1960432 Engine returns no trace
TAPAAL 6
Undecided
Fix Committed
#1960447 Make Open file to accept also PNML
TAPAAL 6
Undecided
Fix Committed
#1964790 CPN verification fails for int ranges not starting with 1
TAPAAL 6
Undecided
Fix Committed
#1965279 Unfolding loops
TAPAAL 6
Undecided
Fix Committed
#1965892 Out of bounded error in Guard Selection
TAPAAL 6
Undecided
Fix Committed
#1967129 Problem with parsing product color
TAPAAL 6
Undecided
Fix Committed
#1976494 Copy component does not preserve env transitions
TAPAAL 6
Undecided
Fix Committed
#1976496 Wrong reporting about discrete time semantrics
TAPAAL 6
Undecided
Fix Committed
#1983366 Unfolds to empty net
TAPAAL 6
Undecided
Fix Committed
#1984064 All engines should use XML queries
TAPAAL 6
Undecided
Fix Committed
#1985063 Cannot edit arc in CPN
TAPAAL 6
Undecided
Fix Committed
#1985989 Saving/loading changes color type
TAPAAL 6
Undecided
Fix Committed
#1985993 Broken trace generation for P/T nets
TAPAAL 6
Undecided
Fix Committed
#1987381 Verifyin intro-example
TAPAAL 6
Undecided
Fix Committed
#1987383 Boundedness check is broken
TAPAAL 6
Undecided
Fix Committed
#1987397 Color token counting if .all is used with product type
TAPAAL 6
Undecided
Fix Committed
#1987636 Structural reductions for colored nets
TAPAAL 6
Undecided
Fix Committed
#1997234 CTL and LTL not enough tokens problem
TAPAAL 6
Undecided
Fix Committed
#2004559 Zoom update at different tabs
TAPAAL 6
Undecided
Fix Committed
#2004561 Batch processing for verify is broken in 3.9
TAPAAL 6
Undecided
Fix Committed
#2004562 Missing java dialog points to Java 8
TAPAAL 6
Undecided
Fix Committed
#2006111 game-harddisk boundedness check
TAPAAL 6
Undecided
Fix Committed
#2006132 Some examples verfication is broken
TAPAAL 6
Undecided
Fix Committed
#2006469 Boundedness check fails
TAPAAL 6
Undecided
Fix Committed
#2006993 Array index out of range
TAPAAL 6
Undecided
Fix Committed
#2007181 RDFS for verifytapn does not work
TAPAAL 6
Undecided
Fix Committed
#2007298 verifypn trace generation error
TAPAAL 6
Undecided
Fix Committed
#2007299 Timed CPN invariants errors
TAPAAL 6
Undecided
Fix Committed
#2007944 Batch verify fails in cpn branch
TAPAAL 6
Undecided
In Progress
#2008493 LTL trace error in 3.9
TAPAAL 6
Undecided
Fix Committed
#2008495 LTL verification in cpn fails with net reductions
TAPAAL 6
Undecided
Fix Committed
#2009162 Show inconclusive in yellow in batch verify
TAPAAL 6
Undecided
Fix Committed
#2011299 Reordering of product color types
TAPAAL 6
Undecided
Fix Committed
#2012121 Missing brackets in guard expressions
TAPAAL 6
Undecided
Fix Committed
#2012122 Premature end of file for CPN unfolding
TAPAAL 6
Undecided
Fix Committed
#2012125 Adding color - should not overlap
TAPAAL 6
Undecided
Fix Committed
#2012142 Verifypn segfaults on CPN model and CTL query
TAPAAL 6
Undecided
Fix Committed
#2012151 Shared place - colored tokens are confused
TAPAAL 6
Undecided
Fix Committed
#2018222 Zero color constituets
TAPAAL 6
Undecided
Fix Committed
#2018677 LTL trace issue - loop instead of deadlock
TAPAAL 6
Undecided
Fix Committed
#2018678 Error verification cannot-compute
TAPAAL 6
Undecided
Fix Committed
#2020433 Untiming engine change
TAPAAL 6
Undecided
Fix Committed
#2020590 Token minimization issue - CPN hyper-LTL
TAPAAL 6
Undecided
Fix Committed
#2023291 Boundedness issue
TAPAAL 6
Undecided
Fix Committed
#2023645 Max token issue for NSDF and LTL
TAPAAL 6
Undecided
Fix Committed
#2023651 wrong hyper LTL answer
TAPAAL 6
Undecided
Fix Committed
#2023770 Hyper LTL query simplification bug
TAPAAL 6
Undecided
Fix Committed
#2023774 Edit of traces in hyper-LTL query dialog
TAPAAL 6
Undecided
Fix Committed
#2024833 No accept in PathQuant
TAPAAL 6
Undecided
Fix Committed
#2024923 Boundedness for timed CPN issues
TAPAAL 6
Undecided
Fix Committed
#2024928 Intervals for product colors
TAPAAL 6
Undecided
Fix Committed
#2024930 Urgent transition for color specific intervals
TAPAAL 6
Undecided
Fix Committed
#2024939 Traces are show even if not hyper-LTL
TAPAAL 6
Undecided
Fix Committed
#2024959 Open net and there are red/yellow transitions
TAPAAL 6
Undecided
Fix Committed
#2024960 Wrong engine on packet-delivery
TAPAAL 6
Undecided
Fix Committed
#2024961 Batch verification and k-bound
TAPAAL 6
Undecided
Fix Committed
#2028688 Too long error message
TAPAAL 6
Undecided
Fix Committed
#2029137 Batch processing - wrong k bound
TAPAAL 6
Undecided
Fix Committed
#2029475 Workflow-payment boundedness check fail
TAPAAL 6
76 → 150 of 187 results First • • • Last