TAPAAL

1 → 21 of 21 results First • Previous • Next • Last
Critical
New
#1593365 Engines and parsing of XML nets
TAPAAL 6
Critical
New
#1847802 Place statistics for verifydtapn seems wrong
TAPAAL 6
High
New
#1297338 Cannot generate trace issues for inclusion
TAPAAL 6
Low
New
#1219511 UPPAAL translations fail generating trace
TAPAAL 6
Low
New
#1849778 Dark theme on Ubuntu
TAPAAL 6
Wishlist
New
#1243875 Allow shared places and shared transitions to be connected
TAPAAL 6
Undecided
New
#1801729 "Search whole state space" failing for certain nets in batch processing
TAPAAL 6
Undecided
New
#1886410 SidePane should be refactored
TAPAAL 6
Undecided
New
#1890940 Warnings when parsing a net are not shown
TAPAAL 6
Undecided
New
#1897539 Transition labels are invisible in Ubuntu dark mode
TAPAAL 6
Undecided
New
#1938799 Outline of shared places/transitions disappear when zooming in
TAPAAL 6
Undecided
New
#1947576 Running verification on windows creates a file named "null" in package dir
TAPAAL 6
Undecided
New
#1952523 Update the liste of all shortcuts
TAPAAL 6
Undecided
New
#1967522 caseinsensitive parser
TAPAAL 6
Undecided
New
#1983363 Scrolling is interrupted in left panel
TAPAAL 6
Undecided
New
#2017657 Query error when extra tokens >= 15
TAPAAL 6
Undecided
New
#2035819 Problem with fastest trace in verifydtapn
TAPAAL 6
Undecided
New
#2051335 Try to enable approximation in queries for timed CPNs
TAPAAL 6
Undecided
New
#2058025 Upperbounds for unbounded CPNs issue
TAPAAL 6
Undecided
New
#2065156 Automatic Net Layout puts places and transitions on top of each other
TAPAAL 6
Undecided
New
#2067100 Raw options bound check fails
TAPAAL 6
1 → 21 of 21 results First • Previous • Next • Last
Bug supervisor:
TAPAAL Developers

Series-targeted bugs

Milestone-targeted bugs