Jiri Srba

Related bugs

Critical

Confirmed

#1158007 Multiple File Selection Using Cmd-A

TAPAAL 6

Critical

New

#1297702 Trace generation problem

VerifyTAPN 6

Critical

New

#1593365 Engines and parsing of XML nets

TAPAAL 6

Critical

Fix Committed

#1680569 Communication with verifypn engine

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

New

#1847802 Place statistics for verifydtapn seems wrong

TAPAAL 6

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

#1932306 Problem with CPN verification

TAPAAL 6

Critical

Fix Committed

#1932308 Cannot unfold net

TAPAAL 6

Critical

Fix Committed

#1932310 Second unfolding with x++++ 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

New

#1297338 Cannot generate trace issues for inclusion

TAPAAL 6

High

Confirmed

#1543131 Query options not fully shown

TAPAAL 6

High

Confirmed

#1545763 Fonts and high resolution screen

TAPAAL 6

High

In Progress

#1891001 The Dispaly of future enabled is always enabled

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

New

#798077 Fix Flex in the Mac compilation

VerifyTAPN 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

New

#1219511 UPPAAL translations fail generating trace

TAPAAL 6

Low

New

#1849778 Dark theme on Ubuntu

TAPAAL 6

Low

Confirmed

#1853689 StackOverFlow exception due to large net

TAPAAL 6

Low

Confirmed

#1870924 Engine selection looks too much at name of file

TAPAAL 6

Low

Confirmed

#1876156 Arrow tips are jumping

TAPAAL 6

Low

Confirmed

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

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

#635997 Implement support for copy/past of net

TAPAAL 6

Wishlist

Triaged

#810908 Editing Features

TAPAAL 12

Wishlist

Confirmed

#856347 Export verifytaPN XML does not include "discrete inclusion" options

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

New

#1203380 Optimize successor generator

VerifyDTAPN 6

Wishlist

Triaged

#1223188 Make boundedness check possible for UPPAAL translations

TAPAAL 6

Wishlist

New

#1243875 Allow shared places and shared transitions to be connected

TAPAAL 6

Wishlist

Triaged

#1674319 Copy and paste selected subnet

TAPAAL 6

Wishlist

Confirmed

#1868467 File association with .tapn file extension

TAPAAL 6

Wishlist

Fix Committed

#1879130 Show net after structural reductions

TAPAAL 6

Wishlist

Triaged

#1952460 Move arcs by moving the endpoints

TAPAAL 6

Undecided

In Progress

#1166166 Iterating twice?

VerifyDTAPN 6

Undecided

Fix Committed

#1835873 Select All hotkey not working after changing template

TAPAAL dev 6

Undecided

Fix Committed

#1882785 CTL verification statistics

TAPAAL 6

Undecided

New

#1890940 Warnings when parsing a net are not shown

TAPAAL 6

Undecided

New

#1895130 Constant blicking in weights is not highlighed

TAPAAL 6

Undecided

Fix Committed

#1896459 Recompile verifytapn for linux64

TAPAAL 6

Undecided

Fix Committed

#1902229 Two clicks needed to show panes in sidepane

TAPAAL 6

Undecided

Fix Committed

#1921393 Add hide/show names of places and transitions

TAPAAL 6

Undecided

Fix Committed

#1934766 Untimed net verification fails

TAPAAL 6