Kenneth Yrke Jørgensen

Commented bugs

Critical

Confirmed

#1158007 Multiple File Selection Using Cmd-A

TAPAAL 6

Critical

In Progress

#1795866 Not finding the fastest trace

TAPAAL 6

Critical

Fix Committed

#1821164 Startup issue of 3.5.0 on linux

TAPAAL 10

Critical

Triaged

#1849786 Arcs jumping in editor

TAPAAL dev 6

Critical

New

#1770930 Rename all Error to ERROR in verifypn

verifypn 6

Critical

Fix Committed

#1932259 CPN branch fails unit test "SharedPlace has a token bug#1887512"

TAPAAL 6

Critical

Fix Committed

#1932286 Adding global constand in non colored net opens wrong dialog

TAPAAL 6

Critical

Fix Committed

#1932288 Adding two varaibles with same name throws exception

TAPAAL 6

Critical

Fix Committed

#1933814 TimedPlaceMarkingEdit contains code to keep colored tokens expression consistent

TAPAAL 6

Critical

Fix Committed

#1934103 No warning is shown is unfold of CPN fails

TAPAAL 6

Critical

Fix Committed

#1958521 Intro-example CPN unfodling issue

TAPAAL 6

Critical

Fix Committed

#1958654 k-bound is to big

TAPAAL 6

Critical

Fix Committed

#1958874 Error when running query from query list

TAPAAL 6

Critical

Fix Committed

#1959661 Unfold colored timed output arc with weight

TAPAAL 6

Critical

Fix Committed

#1964937 Changing int range color type makes tokens in existing places not be drawn

TAPAAL 6

Critical

Fix Committed

#1965500 Engine selection broken on mac

TAPAAL 6

Critical

Fix Committed

#1967251 LTL - wrong answer

TAPAAL 6

Critical

Fix Committed

#1988734 Can't close place dialog after updating color type

TAPAAL 6

Critical

Fix Committed

#2007676 Loading net with product colors fails

TAPAAL 6

Critical

Fix Committed

#2007831 Saves invalid net after renaming color type used in invariant

TAPAAL 6

High

Confirmed

#1543131 Query options not fully shown

TAPAAL 6

High

Confirmed

#1545763 Fonts and high resolution screen

TAPAAL 6

High

Fix Committed

#1891001 The Dispaly of future enabled is always enabled

TAPAAL 6

High

Fix Committed

#1932271 Global constats, color types and variables list does not update the move up/down buttons correctly

TAPAAL 6

High

Fix Committed

#1934109 CPN mUnfolding does not seem to work if you are usign componets

TAPAAL 6

High

Fix Committed

#1934111 Edit color of varaible give error "color with name already exits"

TAPAAL 6

High

Fix Committed

#1947517 Arc-path points righ-click menu is missing

TAPAAL 6

High

Fix Committed

#1953355 Variable names in enumeration types

TAPAAL 6

High

Fix Committed

#1953683 cpn-packet - broken verification

TAPAAL 6

High

Fix Committed

#1960299 GUI does not show TAR traces

TAPAAL 6

High

Fix Committed

#1961221 CPN - empty produce can be created

TAPAAL 6

High

Fix Committed

#1964931 You can delete color type used in variable

TAPAAL 6

High

Fix Committed

#1968473 Select engine menu on windows does not filter *.exe correctly

TAPAAL 6

High

Fix Committed

#1968474 Unfold a cpn model with ltl and ctl query import unfolded querys as either ltl or ctl

TAPAAL 6

Medium

Triaged

#683351 Should ignore authors and proposer for votes counting

Tarmac 10

Medium

Confirmed

#1856033 If version check fails for an engine, Engine selection dialog cant open

TAPAAL 6

Medium

Fix Committed

#1887759 Resize annotation note is not undoable

TAPAAL 6

Medium

Fix Committed

#1923011 Text in textboxes are "cut" on Ubuntu

TAPAAL 6

Medium

Fix Committed

#1932252 Exception on large "range of integers" color

TAPAAL 6

Medium

Fix Committed

#1932280 The global constatns, color types and varibales box has a wrong L&F

TAPAAL 6

Medium

Fix Committed

#1934101 Simulating CPN

TAPAAL 6

Medium

Fix Committed

#1947835 Using Delay & Fire does wong time delay

TAPAAL 6

Medium

Fix Committed

#1955635 Unfolding with control queries

TAPAAL 6

Medium

Fix Committed

#1956583 CPN unfold - out-of-bounds error

TAPAAL 6

Medium

Fix Committed

#1959497 Cpn-packet verification fails

TAPAAL 6

Medium

Fix Committed

#1959498 Verifytapn in CPN verification

TAPAAL 6

Medium

Fix Committed

#1959906 Time guard on arc does not get removed when clicking the "Remove" button (throws an error)

TAPAAL 6

Medium

Fix Committed

#1960000 GUI attempts to autolayout empty nets after unfolding

TAPAAL 6

Low

Confirmed

#1168845 Try and Catch control flow

TAPAAL 6

Low

Confirmed

#1853689 StackOverFlow exception due to large net

TAPAAL 6

Low

Fix Committed

#1870888 Place dialog adds undo even if nothing was changed

TAPAAL 6

Low

Fix Committed

#1870892 Extreme decreasing in node space is broken

TAPAAL 6

Low

Confirmed

#1870924 Engine selection looks too much at name of file

TAPAAL 6

Low

Fix Committed

#1876156 Arrow tips are jumping

TAPAAL 6

Low

Confirmed

#1879351 Tab close button disappears for long petri net names

TAPAAL 6

Low

Confirmed

#1886925 Version check reports no update if it cant read version.txt

TAPAAL 6

Low

Confirmed

#1887757 Undo/Redo of decrease node spacing does not work as expected

TAPAAL 6

Low

Fix Committed

#1892354 Net statistics will show wrong values for "Shown component" after running Remove orphan transition/place

TAPAAL 6

Low

Fix Committed

#1932275 Global constats, color, types and variable lists can not be sorted

TAPAAL 6

Low

Fix Committed

#1933124 Editing guard expression diables colortype selection

TAPAAL 6

Low

Fix Committed

#1952461 Symbolic link to start tapaal on linux

TAPAAL 6

Low

Fix Committed

#1958838 No trace for CPN net

TAPAAL 6

Low

Fix Committed

#1971420 Pressing "m" on empty net throws exception

TAPAAL 6

Low

Fix Committed

#1988737 Labels on arcs move on save/reload

TAPAAL 6

Wishlist

Triaged

#476378 UPPAAL style indicators on queries

TAPAAL 6

Wishlist

Triaged

#635997 Implement support for copy/past of net

TAPAAL 6

Wishlist

Triaged

#810908 Editing Features

TAPAAL 12

Wishlist

Triaged

#872825 Remove the Shared Place / Transition List from the right bar

TAPAAL 6

Wishlist

Triaged

#894643 Override extra number of tokens in the editor

TAPAAL 6

Wishlist

Triaged

#1023799 Tool for removing unused transitions

TAPAAL 6

Wishlist

Triaged

#1031629 Copy and Paste of Components between nets

TAPAAL 6

Wishlist

Triaged

#1223188 Make boundedness check possible for UPPAAL translations

TAPAAL 6

Wishlist

Confirmed

#1300737 Setup continous integration

opaal 6

Wishlist

Triaged

#1674319 Copy and paste selected subnet

TAPAAL 6

Wishlist

Confirmed

#1868467 File association with .tapn file extension

TAPAAL 6