Jiri Srba

Subscribed bugs


1 → 75 of 187 results First • Previous • • Last
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
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
#1965500 Engine selection broken on mac
TAPAAL 6
Critical
Fix Committed
#1967251 LTL - wrong answer
TAPAAL 6
Critical
Fix Committed
#2007676 Loading net with product colors fails
TAPAAL 6
High
New
#1297338 Cannot generate trace issues for inclusion
TAPAAL 6
High
Confirmed
#1545763 Fonts and high resolution screen
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
Medium
New
#798077 Fix Flex in the Mac compilation
VerifyTAPN 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
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
#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
Wishlist
Triaged
#810908 Editing Features
TAPAAL 12
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
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
#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
#1921393 Add hide/show names of places and transitions
TAPAAL 6
Undecided
Fix Committed
#1934766 Untimed net verification fails
TAPAAL 6
Undecided
Fix Committed
#1934767 Timed, colored game net - problem
TAPAAL 6
Undecided
Fix Committed
#1934768 Cyclic enumeration does not allow reordering of colors
TAPAAL 6
Undecided
Fix Committed
#1934769 Error messages fo interranges
TAPAAL 6
Undecided
Fix Committed
#1934786 Manual edit of guard expressions
TAPAAL 6
Undecided
Fix Committed
#1936611 Layout is launched even if the net has a layout
TAPAAL 6
Undecided
Fix Committed
#1936638 Boundedness check for CPN is broken
TAPAAL 10
Undecided
Fix Committed
#1938794 Cannot unfold net
TAPAAL 6
Undecided
Fix Committed
#1938796 Change of color type
TAPAAL 6
Undecided
Fix Committed
#1938797 Deleting arc expressions
TAPAAL 6
Undecided
Fix Committed
#1938806 Detection of used variables is not working
TAPAAL 6
Undecided
Fix Committed
#1938866 CPN export/import issues
TAPAAL 6
Undecided
Fix Committed
#1939122 Boundedness check in timed CPN is broken
TAPAAL 6
Undecided
Fix Committed
#1939878 boundedness check is broken
TAPAAL 6
Undecided
Fix Committed
#1939939 Multipe arcs in unfolding
TAPAAL 6
Undecided
Fix Committed
#1940098 Disappearing tokens
TAPAAL 6
Undecided
Fix Committed
#1945642 Fix tikz export
TAPAAL 6
Undecided
In Progress
#1945984 Saving a file without .tapn ending
TAPAAL 6
Undecided
Fix Committed
#1947037 Show query on MouseOver
TAPAAL 6
Undecided
Fix Committed
#1947689 Merge components changes lens
TAPAAL 6
Undecided
Fix Committed
#1950689 Toggle urgent transition
TAPAAL 6
Undecided
Fix Committed
#1951026 In timed lens there should be possible to draw urgent tranistion
TAPAAL 6
Undecided
Fix Committed
#1951292 Urgent transition missing check
TAPAAL 6
Undecided
Fix Committed
#1952520 Transition name highlighting
TAPAAL 6
Undecided
Fix Committed
#1952521 cmd-X shortcut (import PNML) missing
TAPAAL 6
1 → 75 of 187 results First • Previous • • Last