TAPAAL

151 → 225 of 225 results First • • Next • Last
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
#2016304 Initial marked places not updated on simulation
TAPAAL 6
Undecided
Fix Committed
#2017632 The "Removing trace" popup keeps appearing when simulating
TAPAAL 6
Undecided
New
#2017657 Query error when extra tokens >= 15
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
#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
Undecided
Fix Committed
#2030270 Variable type change is not possible
TAPAAL 6
Undecided
Fix Committed
#2030850 Miscalculation of extra consumed tokens during net reduction
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
Fix Committed
#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
#2044661 Missing error dialogs
TAPAAL 6
Undecided
Fix Committed
#2045061 NPE when removing color semantics and adding them again
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
Fix Committed
#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
#2052379 Wrong k-bound when using over-approximation with raw verification
TAPAAL 6
Undecided
Fix Committed
#2052812 Saving nets uses variables ids and names
TAPAAL 6
Undecided
Fix Committed
#2057970 Enable approximation for CPNs
TAPAAL 6
Undecided
Fix Committed
#2058025 Upperbounds for unbounded CPNs issue
TAPAAL 6
Undecided
Fix Committed
#2061903 Overapproximation with batchprocessing using verifytapn
TAPAAL 6
Undecided
Fix Committed
#2061904 Batch processing out of bounds exception
TAPAAL 6
Undecided
Fix Committed
#2065156 Automatic Net Layout puts places and transitions on top of each other
TAPAAL 6
Undecided
Fix Committed
#2067100 Raw options bound check fails
TAPAAL 6
151 → 225 of 225 results First • • Next • Last
Bug supervisor:
TAPAAL Developers

Series-targeted bugs

Milestone-targeted bugs