Jiri Srba

Subscribed bugs


151 → 187 of 187 results First • • Next • Last
Undecided
Fix Committed
#2030270 Variable type change is not possible
TAPAAL 6
Undecided
Fix Committed
#2031648 Control query AF does not load
TAPAAL 6
Undecided
Fix Committed
#2031649 Wrong game query answer with query reduction
TAPAAL 6
Undecided
Fix Committed
#2033062 Slow loading of CPN
TAPAAL 6
Undecided
Fix Committed
#2033383 Max tokens reporting in game verifypn is wrong
TAPAAL 6
Undecided
Fix Committed
#2035183 Hyper-LTL trace editor gives NPE
TAPAAL 6
Undecided
Fix Committed
#2035728 verifydtapn workflow engine inhibitor arc issue
TAPAAL 6
Undecided
New
#2035755 Wrong trace from workflow analysis
TAPAAL 6
Undecided
New
#2035819 Problem with fastest trace in verifydtapn
TAPAAL 6
Undecided
Fix Committed
#2036733 Improve the layout of CPN dropdown menus
TAPAAL 6
Undecided
Fix Committed
#2036984 CPN unfolding fails
TAPAAL 6
Undecided
Fix Committed
#2037066 Change of range in product - save/load error
TAPAAL 6
Undecided
Fix Committed
#2037313 CPN engine with trace option gives error
TAPAAL 6
Undecided
Fix Committed
#2037357 Adding too many tokens
TAPAAL 6
Undecided
Fix Committed
#2037705 Impossible to remove tokens
TAPAAL 6
Undecided
Fix Committed
#2038418 Tokens from initial marking disappear
TAPAAL 6
Undecided
Fix Committed
#2038420 Tools/automatic layout broken dialog
TAPAAL 6
Undecided
Fix Committed
#2040246 Broken history for colored nets
TAPAAL 6
Undecided
Fix Committed
#2043334 Colored reduction cannot be disabled
TAPAAL 6
Undecided
Fix Committed
#2043450 Colored reductions give wrong answer
TAPAAL 12
Undecided
Fix Committed
#2043616 Problem with trace from verifypn
TAPAAL 6
Undecided
Fix Committed
#2044415 Batch processing does not show the engine output
TAPAAL 6
Undecided
Fix Committed
#2044542 Wrong k-bound passed
TAPAAL 6
Undecided
Fix Committed
#2045985 Duplication of invariants
TAPAAL 6
Undecided
Fix Committed
#2046009 Problem with TACPN verification
TAPAAL 6
Undecided
Fix Committed
#2046038 GUI passes constants to verifydtapn
TAPAAL 6
Undecided
Fix Committed
#2046277 Guard dialog in CPN nets enfoces paranthesis
TAPAAL 6
Undecided
Fix Committed
#2046829 inconsistent batch processing answers
TAPAAL 6
Undecided
Fix Committed
#2046945 Raw query options - small issues
TAPAAL 6
Undecided
Fix Committed
#2046960 Premature end of file in CPN verifypn
TAPAAL 6
Undecided
Fix Committed
#2051165 GUI does not show correct hyperLTL trace
TAPAAL 6
Undecided
Fix Committed
#2051167 Raw options compute wrong k-bound
TAPAAL 6
Undecided
New
#2051335 Try to enable approximation in queries for timed CPNs
TAPAAL 6
Undecided
Fix Committed
#2051740 trace-list missing for hyperLTL with one trace only
TAPAAL 6
Undecided
Fix Committed
#2051852 hyperLTL dialog - manual parse issue
TAPAAL 6
Undecided
Fix Committed
#2052812 Saving nets uses variables ids and names
TAPAAL 6
Undecided
New
#2058025 Upperbounds for unbounded CPNs issue
TAPAAL 6
151 → 187 of 187 results First • • Next • Last