TAPAAL

TAPAAL cpn "cpn"

Milestone information

Project:
TAPAAL
Series:
trunk
Version:
cpn
Code name:
cpn
Expected:
 
Active:
Yes. Drivers can target bugs and blueprints to this milestone.  

Activities

Assigned to you:
No blueprints or bugs assigned to you.
Assignees:
6 Jiri Srba, 32 Kenneth Yrke Jørgensen, 4 Kristian Morsing Pedersen, 63 Lena Ernstsen, 1 Malo Dautry, 1 Peter Gjøl Jensen, 13 Peter Haahr Taankvist, 15 Thomas Pedersen
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
3 New, 1 Opinion, 7 Invalid, 2 Won't Fix, 223 Fix Committed

0 blueprints and 236 bugs targeted

Bug report Importance Assignee Status
2017657 #2017657 Query error when extra tokens >= 15 1 Undecided   0 New
2035819 #2035819 Problem with fastest trace in verifydtapn 1 Undecided   0 New
2071434 #2071434 Possible bug with parsing big int in queries in verifypn 1 Undecided   0 New
1961526 #1961526 Expected error when running CPN net via batch processing 4 Medium   2 Opinion
1987828 #1987828 This sort is null 2 Critical Kenneth Yrke Jørgensen  3 Invalid
1967288 #1967288 Unfolding does not respect LTL querys 1 Undecided   3 Invalid
1987827 #1987827 Token modification does not work 1 Undecided Lena Ernstsen  3 Invalid
2006471 #2006471 Wrong verifypn statistics 1 Undecided   3 Invalid
2024932 #2024932 Wrong AF verification answer 1 Undecided   3 Invalid
2028554 #2028554 Wrong answer - timed game 1 Undecided   3 Invalid
2046492 #2046492 Segmentation fault 11 of verifydtapn 1 Undecided   3 Invalid
1987059 #1987059 Change transition dialog selection behaviour 1 Undecided Lena Ernstsen  4 Won't Fix
2046805 #2046805 Add approximation options to CPN 1 Undecided   4 Won't Fix
1932259 #1932259 CPN branch fails unit test "SharedPlace has a token bug#1887512" 2 Critical Peter Haahr Taankvist  9 Fix Committed
1932286 #1932286 Adding global constand in non colored net opens wrong dialog 2 Critical Peter Haahr Taankvist  9 Fix Committed
1932288 #1932288 Adding two varaibles with same name throws exception 2 Critical Peter Haahr Taankvist  9 Fix Committed
1932306 #1932306 Problem with CPN verification 2 Critical Thomas Pedersen  9 Fix Committed
1932308 #1932308 Cannot unfold net 2 Critical Thomas Pedersen  9 Fix Committed
1932310 #1932310 Second unfolding with x++++ fails 2 Critical Thomas Pedersen  9 Fix Committed
1933814 #1933814 TimedPlaceMarkingEdit contains code to keep colored tokens expression consistent 2 Critical Peter Haahr Taankvist  9 Fix Committed
1934103 #1934103 No warning is shown is unfold of CPN fails 2 Critical Thomas Pedersen  9 Fix Committed
1958521 #1958521 Intro-example CPN unfodling issue 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
1958654 #1958654 k-bound is to big 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
1958874 #1958874 Error when running query from query list 2 Critical   9 Fix Committed
1959661 #1959661 Unfold colored timed output arc with weight 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
1964937 #1964937 Changing int range color type makes tokens in existing places not be drawn 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
1965500 #1965500 Engine selection broken on mac 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
1967251 #1967251 LTL - wrong answer 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
1988734 #1988734 Can't close place dialog after updating color type 2 Critical   9 Fix Committed
2007676 #2007676 Loading net with product colors fails 2 Critical Kenneth Yrke Jørgensen  9 Fix Committed
2007831 #2007831 Saves invalid net after renaming color type used in invariant 2 Critical Lena Ernstsen  9 Fix Committed
1932271 #1932271 Global constats, color types and variables list does not update the move up/down buttons correctly 3 High Peter Haahr Taankvist  9 Fix Committed
1934109 #1934109 CPN mUnfolding does not seem to work if you are usign componets 3 High Thomas Pedersen  9 Fix Committed
1934111 #1934111 Edit color of varaible give error "color with name already exits" 3 High Peter Haahr Taankvist  9 Fix Committed
1953355 #1953355 Variable names in enumeration types 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1953683 #1953683 cpn-packet - broken verification 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1960299 #1960299 GUI does not show TAR traces 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1961221 #1961221 CPN - empty produce can be created 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1964931 #1964931 You can delete color type used in variable 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1968473 #1968473 Select engine menu on windows does not filter *.exe correctly 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1968474 #1968474 Unfold a cpn model with ltl and ctl query import unfolded querys as either ltl or ctl 3 High Kenneth Yrke Jørgensen  9 Fix Committed
1932252 #1932252 Exception on large "range of integers" color 4 Medium Peter Haahr Taankvist  9 Fix Committed
1932280 #1932280 The global constatns, color types and varibales box has a wrong L&F 4 Medium Peter Haahr Taankvist  9 Fix Committed
1934101 #1934101 Simulating CPN 4 Medium Thomas Pedersen  9 Fix Committed
1955635 #1955635 Unfolding with control queries 4 Medium Lena Ernstsen  9 Fix Committed
1956583 #1956583 CPN unfold - out-of-bounds error 4 Medium Kenneth Yrke Jørgensen  9 Fix Committed
1959497 #1959497 Cpn-packet verification fails 4 Medium Kenneth Yrke Jørgensen  9 Fix Committed
1959498 #1959498 Verifytapn in CPN verification 4 Medium Kenneth Yrke Jørgensen  9 Fix Committed
1959906 #1959906 Time guard on arc does not get removed when clicking the "Remove" button (throws an error) 4 Medium Kenneth Yrke Jørgensen  9 Fix Committed
1960000 #1960000 GUI attempts to autolayout empty nets after unfolding 4 Medium Kenneth Yrke Jørgensen  9 Fix Committed
1932275 #1932275 Global constats, color, types and variable lists can not be sorted 5 Low Peter Haahr Taankvist  9 Fix Committed
1933124 #1933124 Editing guard expression diables colortype selection 5 Low Peter Haahr Taankvist  9 Fix Committed
1958838 #1958838 No trace for CPN net 5 Low Peter Gjøl Jensen  9 Fix Committed
1971420 #1971420 Pressing "m" on empty net throws exception 5 Low Kenneth Yrke Jørgensen  9 Fix Committed
1988737 #1988737 Labels on arcs move on save/reload 5 Low Lena Ernstsen  9 Fix Committed
1895130 #1895130 Constant blicking in weights is not highlighed 1 Undecided   9 Fix Committed
1896459 #1896459 Recompile verifytapn for linux64 1 Undecided   9 Fix Committed
1902229 #1902229 Two clicks needed to show panes in sidepane 1 Undecided Lena Ernstsen  9 Fix Committed
1934766 #1934766 Untimed net verification fails 1 Undecided Thomas Pedersen  9 Fix Committed
1934767 #1934767 Timed, colored game net - problem 1 Undecided Thomas Pedersen  9 Fix Committed
1934768 #1934768 Cyclic enumeration does not allow reordering of colors 1 Undecided Peter Haahr Taankvist  9 Fix Committed
1934769 #1934769 Error messages fo interranges 1 Undecided Thomas Pedersen  9 Fix Committed
1934786 #1934786 Manual edit of guard expressions 1 Undecided Thomas Pedersen  9 Fix Committed
1936611 #1936611 Layout is launched even if the net has a layout 1 Undecided Thomas Pedersen  9 Fix Committed
1936638 #1936638 Boundedness check for CPN is broken 1 Undecided Thomas Pedersen  9 Fix Committed
1938794 #1938794 Cannot unfold net 1 Undecided Thomas Pedersen  9 Fix Committed
1938796 #1938796 Change of color type 1 Undecided Peter Haahr Taankvist  9 Fix Committed
1938797 #1938797 Deleting arc expressions 1 Undecided Lena Ernstsen  9 Fix Committed
1938799 #1938799 Outline of shared places/transitions disappear when zooming in 1 Undecided   9 Fix Committed
1938806 #1938806 Detection of used variables is not working 1 Undecided Peter Haahr Taankvist  9 Fix Committed
1938866 #1938866 CPN export/import issues 1 Undecided   9 Fix Committed
1939122 #1939122 Boundedness check in timed CPN is broken 1 Undecided Thomas Pedersen  9 Fix Committed
1939939 #1939939 Multipe arcs in unfolding 1 Undecided Thomas Pedersen  9 Fix Committed
1940098 #1940098 Disappearing tokens 1 Undecided Lena Ernstsen  9 Fix Committed
1940401 #1940401 Number keeps increasing 1 Undecided   9 Fix Committed
1940404 #1940404 Undo for reset arc expression not working 1 Undecided Lena Ernstsen  9 Fix Committed
1940413 #1940413 Removing the same product type 1 Undecided Lena Ernstsen  9 Fix Committed
1940414 #1940414 Disabled variable buttons 1 Undecided Lena Ernstsen  9 Fix Committed
1940418 #1940418 Buttons not disabled correctly in color type component 1 Undecided Lena Ernstsen  9 Fix Committed
1940523 #1940523 undo problems for cpn 1 Undecided Lena Ernstsen  9 Fix Committed
1940524 #1940524 Colored tokens not drawn 1 Undecided Lena Ernstsen  9 Fix Committed
1940817 #1940817 cpn manual parser 1 Undecided Lena Ernstsen  9 Fix Committed
1940896 #1940896 NPE when removing enumeration 1 Undecided Lena Ernstsen  9 Fix Committed
1941837 #1941837 Rearrange arc editor dialog 1 Undecided   9 Fix Committed
1952521 #1952521 cmd-X shortcut (import PNML) missing 1 Undecided Kristian Morsing Pedersen  9 Fix Committed
1952522 #1952522 Disable .all in transport arcs 1 Undecided Kristian Morsing Pedersen  9 Fix Committed
1952524 #1952524 No statistics shown for CPN verification 1 Undecided Kristian Morsing Pedersen  9 Fix Committed
1952525 #1952525 CPN unfold generation issue - missing close tag formula 1 Undecided   9 Fix Committed
1952526 #1952526 Query dialog ignores LTL flag 1 Undecided Lena Ernstsen  9 Fix Committed
1952527 #1952527 Categorization of examples in CPN branch 1 Undecided Lena Ernstsen  9 Fix Committed
1952528 #1952528 Trace generatil fails for CPN 1 Undecided   9 Fix Committed
1952529 #1952529 Trace layout missing 1 Undecided   9 Fix Committed
1952561 #1952561 Environment transition instead of urgent 1 Undecided Kristian Morsing Pedersen  9 Fix Committed
1953508 #1953508 Export timed-game queries missing control-flag 1 Undecided Lena Ernstsen  9 Fix Committed
1954699 #1954699 Boundedness check broken for TACPN 1 Undecided   9 Fix Committed
1954702 #1954702 Approximation is failing both in trunk and cpn-gui-dev 1 Undecided   9 Fix Committed
1956759 #1956759 tracenull switch problem 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
1956784 #1956784 timed cpn approx trace problem 1 Undecided   9 Fix Committed
1958274 #1958274 Colored Marking Mismatch 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
1958791 #1958791 TAR wrong GUI reporting 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
1958842 #1958842 TAPAAL gets stuck opening net 1 Undecided   9 Fix Committed
1960009 #1960009 Name already exist when unfolding 1 Undecided   9 Fix Committed
1960432 #1960432 Engine returns no trace 1 Undecided   9 Fix Committed
1960447 #1960447 Make Open file to accept also PNML 1 Undecided   9 Fix Committed
1961190 #1961190 Merging net components in colored nets with integer types overlap leads to error 1 Undecided   9 Fix Committed
1964790 #1964790 CPN verification fails for int ranges not starting with 1 1 Undecided   9 Fix Committed
1964938 #1964938 Convering colored token from untimed to timed fails silently 1 Undecided   9 Fix Committed
1965279 #1965279 Unfolding loops 1 Undecided   9 Fix Committed
1965892 #1965892 Out of bounded error in Guard Selection 1 Undecided Lena Ernstsen  9 Fix Committed
1967129 #1967129 Problem with parsing product color 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
1971421 #1971421 Product color not shown correctly in transition dialog 1 Undecided Lena Ernstsen  9 Fix Committed
1971422 #1971422 up-arrow button not disabled 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
1976494 #1976494 Copy component does not preserve env transitions 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
1983262 #1983262 null pointer exceptions with cpn inhibitor arcs when verifying 1 Undecided   9 Fix Committed
1983365 #1983365 Product colors with .all throws exception 1 Undecided Lena Ernstsen  9 Fix Committed
1983366 #1983366 Unfolds to empty net 1 Undecided   9 Fix Committed
1983367 #1983367 Can't remove newly added token 1 Undecided Lena Ernstsen  9 Fix Committed
1983368 #1983368 Nets with urgent transitions can't be verified 1 Undecided   9 Fix Committed
1983371 #1983371 Exception when verifying ltl query 1 Undecided Lena Ernstsen  9 Fix Committed
1983373 #1983373 colored-game net queries can't be verify 1 Undecided   9 Fix Committed
1984064 #1984064 All engines should use XML queries 1 Undecided Lena Ernstsen  9 Fix Committed
1984066 #1984066 Cancelling unfold still opens simulation 1 Undecided Lena Ernstsen  9 Fix Committed
1984070 #1984070 only weight=1 supported error 1 Undecided Lena Ernstsen  9 Fix Committed
1984071 #1984071 Guard expression pred/succ on placeholders 1 Undecided Lena Ernstsen  9 Fix Committed
1984072 #1984072 .all product color error 1 Undecided   9 Fix Committed
1984074 #1984074 Arc expression not changing 1 Undecided Lena Ernstsen  9 Fix Committed
1984075 #1984075 Empty verification error 1 Undecided   9 Fix Committed
1984190 #1984190 query engine not updated 1 Undecided Lena Ernstsen  9 Fix Committed
1985048 #1985048 Can edit used color 1 Undecided   9 Fix Committed
1985063 #1985063 Cannot edit arc in CPN 1 Undecided   9 Fix Committed
1985977 #1985977 pred/succ both sides in transition guard 1 Undecided Lena Ernstsen  9 Fix Committed
1985978 #1985978 reset guard expression on color type change 1 Undecided Lena Ernstsen  9 Fix Committed
1985989 #1985989 Saving/loading changes color type 1 Undecided Lena Ernstsen  9 Fix Committed
1985993 #1985993 Broken trace generation for P/T nets 1 Undecided   9 Fix Committed
1986788 #1986788 Invalid transition guard with logic comparison 1 Undecided Lena Ernstsen  9 Fix Committed
1986938 #1986938 Arc guard displaying wrong selection 1 Undecided Lena Ernstsen  9 Fix Committed
1987058 #1987058 Color type not updated 1 Undecided Lena Ernstsen  9 Fix Committed
1987061 #1987061 Arc dialog freezes 1 Undecided   9 Fix Committed
1987264 #1987264 Exception after manual edit in transition dialog 1 Undecided Lena Ernstsen  9 Fix Committed
1987288 #1987288 Remove dot from dialogs 1 Undecided Lena Ernstsen  9 Fix Committed
1987289 #1987289 Remove structural reduction from results 1 Undecided Lena Ernstsen  9 Fix Committed
1987292 #1987292 Tokens not updated after type change 1 Undecided Lena Ernstsen  9 Fix Committed
1987298 #1987298 Incorrect loading of .all tokens 1 Undecided Lena Ernstsen  9 Fix Committed
1987381 #1987381 Verifyin intro-example 1 Undecided Lena Ernstsen  9 Fix Committed
1987383 #1987383 Boundedness check is broken 1 Undecided   9 Fix Committed
1987397 #1987397 Color token counting if .all is used with product type 1 Undecided Lena Ernstsen  9 Fix Committed
1987636 #1987636 Structural reductions for colored nets 1 Undecided Lena Ernstsen  9 Fix Committed
1988664 #1988664 Added tokens with .all does not update if color type is changed 1 Undecided Lena Ernstsen  9 Fix Committed
1995844 #1995844 Token count not updating on undo/redo 1 Undecided Lena Ernstsen  9 Fix Committed
1997234 #1997234 CTL and LTL not enough tokens problem 1 Undecided   9 Fix Committed
2004467 #2004467 Incorrect query dialog for games 1 Undecided Lena Ernstsen  9 Fix Committed
2004468 #2004468 wrong k-bound 1 Undecided Lena Ernstsen  9 Fix Committed
2004559 #2004559 Zoom update at different tabs 1 Undecided   9 Fix Committed
2004562 #2004562 Missing java dialog points to Java 8 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
2006132 #2006132 Some examples verfication is broken 1 Undecided Lena Ernstsen  9 Fix Committed
2006469 #2006469 Boundedness check fails 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
2006993 #2006993 Array index out of range 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
2007181 #2007181 RDFS for verifytapn does not work 1 Undecided   9 Fix Committed
2007298 #2007298 verifypn trace generation error 1 Undecided   9 Fix Committed
2007299 #2007299 Timed CPN invariants errors 1 Undecided   9 Fix Committed
2007944 #2007944 Batch verify fails in cpn branch 1 Undecided Lena Ernstsen  9 Fix Committed
2008495 #2008495 LTL verification in cpn fails with net reductions 1 Undecided   9 Fix Committed
2009162 #2009162 Show inconclusive in yellow in batch verify 1 Undecided Lena Ernstsen  9 Fix Committed
2011299 #2011299 Reordering of product color types 1 Undecided Lena Ernstsen  9 Fix Committed
2012121 #2012121 Missing brackets in guard expressions 1 Undecided Lena Ernstsen  9 Fix Committed
2012122 #2012122 Premature end of file for CPN unfolding 1 Undecided   9 Fix Committed
2012125 #2012125 Adding color - should not overlap 1 Undecided   9 Fix Committed
2012142 #2012142 Verifypn segfaults on CPN model and CTL query 1 Undecided   9 Fix Committed
2012151 #2012151 Shared place - colored tokens are confused 1 Undecided Lena Ernstsen  9 Fix Committed
2016304 #2016304 Initial marked places not updated on simulation 1 Undecided   9 Fix Committed
2017632 #2017632 The "Removing trace" popup keeps appearing when simulating 1 Undecided Malo Dautry  9 Fix Committed
2018222 #2018222 Zero color constituets 1 Undecided   9 Fix Committed
2018677 #2018677 LTL trace issue - loop instead of deadlock 1 Undecided   9 Fix Committed
2018678 #2018678 Error verification cannot-compute 1 Undecided   9 Fix Committed
2020433 #2020433 Untiming engine change 1 Undecided Lena Ernstsen  9 Fix Committed
2020590 #2020590 Token minimization issue - CPN hyper-LTL 1 Undecided Lena Ernstsen  9 Fix Committed
2023291 #2023291 Boundedness issue 1 Undecided Lena Ernstsen  9 Fix Committed
2023645 #2023645 Max token issue for NSDF and LTL 1 Undecided   9 Fix Committed
2023651 #2023651 wrong hyper LTL answer 1 Undecided   9 Fix Committed
2023770 #2023770 Hyper LTL query simplification bug 1 Undecided   9 Fix Committed
2023774 #2023774 Edit of traces in hyper-LTL query dialog 1 Undecided   9 Fix Committed
2024923 #2024923 Boundedness for timed CPN issues 1 Undecided Lena Ernstsen  9 Fix Committed
2024928 #2024928 Intervals for product colors 1 Undecided Lena Ernstsen  9 Fix Committed
2024930 #2024930 Urgent transition for color specific intervals 1 Undecided Lena Ernstsen  9 Fix Committed
2024939 #2024939 Traces are show even if not hyper-LTL 1 Undecided   9 Fix Committed
2024959 #2024959 Open net and there are red/yellow transitions 1 Undecided Lena Ernstsen  9 Fix Committed
2024960 #2024960 Wrong engine on packet-delivery 1 Undecided Lena Ernstsen  9 Fix Committed
2024961 #2024961 Batch verification and k-bound 1 Undecided Lena Ernstsen  9 Fix Committed
2028688 #2028688 Too long error message 1 Undecided Jiri Srba  9 Fix Committed
2029137 #2029137 Batch processing - wrong k bound 1 Undecided Jiri Srba  9 Fix Committed
2029475 #2029475 Workflow-payment boundedness check fail 1 Undecided   9 Fix Committed
2030270 #2030270 Variable type change is not possible 1 Undecided Jiri Srba  9 Fix Committed
2030850 #2030850 Miscalculation of extra consumed tokens during net reduction 1 Undecided   9 Fix Committed
2031648 #2031648 Control query AF does not load 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
2031649 #2031649 Wrong game query answer with query reduction 1 Undecided   9 Fix Committed
2033062 #2033062 Slow loading of CPN 1 Undecided   9 Fix Committed
2033383 #2033383 Max tokens reporting in game verifypn is wrong 1 Undecided   9 Fix Committed
2035183 #2035183 Hyper-LTL trace editor gives NPE 1 Undecided Jiri Srba  9 Fix Committed
2035728 #2035728 verifydtapn workflow engine inhibitor arc issue 1 Undecided   9 Fix Committed
2035755 #2035755 Wrong trace from workflow analysis 1 Undecided   9 Fix Committed
2036733 #2036733 Improve the layout of CPN dropdown menus 1 Undecided   9 Fix Committed
2036984 #2036984 CPN unfolding fails 1 Undecided Jiri Srba  9 Fix Committed
2037066 #2037066 Change of range in product - save/load error 1 Undecided Kenneth Yrke Jørgensen  9 Fix Committed
2037313 #2037313 CPN engine with trace option gives error 1 Undecided   9 Fix Committed
2037357 #2037357 Adding too many tokens 1 Undecided   9 Fix Committed
2037705 #2037705 Impossible to remove tokens 1 Undecided Jiri Srba  9 Fix Committed
2038418 #2038418 Tokens from initial marking disappear 1 Undecided   9 Fix Committed
2038420 #2038420 Tools/automatic layout broken dialog 1 Undecided   9 Fix Committed
2040246 #2040246 Broken history for colored nets 1 Undecided   9 Fix Committed
2043334 #2043334 Colored reduction cannot be disabled 1 Undecided   9 Fix Committed
2043450 #2043450 Colored reductions give wrong answer 1 Undecided   9 Fix Committed
2043616 #2043616 Problem with trace from verifypn 1 Undecided   9 Fix Committed
2044415 #2044415 Batch processing does not show the engine output 1 Undecided   9 Fix Committed
2044542 #2044542 Wrong k-bound passed 1 Undecided   9 Fix Committed
2044661 #2044661 Missing error dialogs 1 Undecided   9 Fix Committed
2045061 #2045061 NPE when removing color semantics and adding them again 1 Undecided   9 Fix Committed
2045985 #2045985 Duplication of invariants 1 Undecided   9 Fix Committed
2046009 #2046009 Problem with TACPN verification 1 Undecided   9 Fix Committed
2046038 #2046038 GUI passes constants to verifydtapn 1 Undecided   9 Fix Committed
2046277 #2046277 Guard dialog in CPN nets enfoces paranthesis 1 Undecided   9 Fix Committed
2046829 #2046829 inconsistent batch processing answers 1 Undecided   9 Fix Committed
2046945 #2046945 Raw query options - small issues 1 Undecided   9 Fix Committed
2046960 #2046960 Premature end of file in CPN verifypn 1 Undecided   9 Fix Committed
2051165 #2051165 GUI does not show correct hyperLTL trace 1 Undecided   9 Fix Committed
2051167 #2051167 Raw options compute wrong k-bound 1 Undecided   9 Fix Committed
2051335 #2051335 Try to enable approximation in queries for timed CPNs 1 Undecided   9 Fix Committed
2051740 #2051740 trace-list missing for hyperLTL with one trace only 1 Undecided   9 Fix Committed
2051852 #2051852 hyperLTL dialog - manual parse issue 1 Undecided   9 Fix Committed
2052379 #2052379 Wrong k-bound when using over-approximation with raw verification 1 Undecided   9 Fix Committed
2052812 #2052812 Saving nets uses variables ids and names 1 Undecided   9 Fix Committed
2057970 #2057970 Enable approximation for CPNs 1 Undecided   9 Fix Committed
2058025 #2058025 Upperbounds for unbounded CPNs issue 1 Undecided   9 Fix Committed
2061903 #2061903 Overapproximation with batchprocessing using verifytapn 1 Undecided   9 Fix Committed
2061904 #2061904 Batch processing out of bounds exception 1 Undecided   9 Fix Committed
2065156 #2065156 Automatic Net Layout puts places and transitions on top of each other 1 Undecided   9 Fix Committed
2067100 #2067100 Raw options bound check fails 1 Undecided   9 Fix Committed
This milestone contains Public information
Everyone can see this information.