Bugs : Workcraft

Workcraft

Low

Fix Committed

#1433039 Last open path is not updated on opening recent files.

Workcraft 6

Low

Fix Committed

#1439238 Path to petrify.lib should be only important for the technology mapping

Workcraft 6

Low

Fix Committed

#1443992 If PNML-based unfolding is enabled, then CSC resolution and technology mapping incorrectly use new MPSat

Workcraft 6

Low

Confirmed

#1444513 Checking of STG normalcy has an error

Workcraft 6

Low

Fix Committed

#1447521 Init to one on a primary port does not change the state of a connected pin

Workcraft 6

Low

Fix Committed

#1449774 Inconsistent report of verification results

Workcraft 6

Low

Fix Committed

#1455024 Node names inside pages get corrupted on copy-pase

Workcraft 6

Low

Fix Committed

#1455185 Incorrect filtering of trace transitions in circuit with pages

Workcraft 6

Low

Fix Committed

#1455465 Group pivot does not move on its relocation

Workcraft 6

Low

Fix Committed

#1456817 Flip and rotate are break Bezier geometry for circuit connections

Workcraft 6

Low

Fix Committed

#1459158 Token color is lost on copy simulation state to the initial state

Workcraft 6

Low

Fix Committed

#1461497 Exception on un-collapsing a group

Workcraft 6

Low

Fix Committed

#1461498 Collapsed groups cannot be copy-pasted

Workcraft 6

Low

Fix Committed

#1461627 Use of Joint generator is confusing in Digital Circuit plugin

Workcraft 6

Low

Fix Committed

#1480444 Temporary ScEnco files are not always removed

Workcraft 6

Low

Fix Committed

#1505243 External visualisation of state graphs with wraite_sg and draw_astg tools

Workcraft 6

Low

Fix Committed

#1525284 Places of Petri net/STG generated from FSM/FST have wrong position

Workcraft 6

Low

Fix Committed

#1525316 STG with dummies cannot be converted into FST

Workcraft 6

Low

Fix Committed

#1529290 Convert dual arcs to read arcs on import of .g files

Workcraft 6

Low

Fix Committed

#1529303 Net synthesis from Petri Net and FSM results in STG

Workcraft 6

Low

Fix Committed

#1530887 Combined verification of several STG properties

Workcraft 6

Low

Fix Committed

#1534659 Changes in global settings cannot be cancelled

Workcraft 6

Low

Fix Committed

#1534665 Petrify transform task is inconsistent with other external tasks

Workcraft 6

Low

Fix Committed

#1534788 Tools for working with place proxies in STG and Petri nets

Workcraft 6

Low

Fix Committed

#1537558 External visualiser throws "Desktop API is not supported on the current platform" exception

Workcraft 6

Low

Fix Committed

#1537776 Bounding box for FSM does not include initial state marker

Workcraft 6

Low

Fix Committed

#1537854 Interface to PGMiner is is not sufficiently robust

Workcraft 6

Low

Fix Committed

#1538092 The event of property change is generated twice on pressing the Enter

Workcraft 6

Low

Fix Committed

#1539021 Encoding property is not fully supported in CPOG

Workcraft 6

Low

Triaged

#1540998 Sometimes Punf error message is incomplete

Workcraft 6

Low

Triaged

#1541000 Incorrect position of STG implicit place (token)

Workcraft 6

Wishlist

Triaged

#1277038 Remove group title in CPOGs plugin

Workcraft 6

Wishlist

Fix Committed

#1313829 Support for old models after renaming component classes

Workcraft 6

Wishlist

Fix Committed

#1338507 Add asterisk to the tab titel when the work is modified

Workcraft 6

Wishlist

Fix Committed

#1338509 Use the same default directory for open and save operations

Workcraft 6

Wishlist

Fix Committed

#1339003 Make Set and Reset functions available in combined property editing

Workcraft 6

Wishlist

Fix Committed

#1342059 Highlight the node under the mouse cursor

Workcraft 6

Wishlist

Confirmed

#1350431 STG conversion does not support pages in DFS plugin

Workcraft 6

Wishlist

Triaged

#1350434 Petri net conversion does not support pages in PolicyNet plugin

Workcraft 6

Wishlist

Fix Committed

#1350787 Make default layout of GUI proportional to the screen size

Workcraft 6

Wishlist

Fix Committed

#1365553 Introduce short names for the model types

Workcraft 6

Wishlist

Fix Committed

#1391883 Set default contact position of a circuit if it is not connected

Workcraft 6

Wishlist

Fix Committed

#1392020 In STG use Ctrl+double_click for toggling marking of implicit (and possibly explicit) places

Workcraft 6

Wishlist

Confirmed

#1394285 Use Esc to switch back to selection tool.

Workcraft 6

Wishlist

Confirmed

#1394286 Use mouse wheel on the tab bar to change the current editor window.

Workcraft 6

Wishlist

Confirmed

#1394287 In circuit allow connections in the reverse direction

Workcraft 6

Wishlist

Fix Committed

#1394288 Create a global setting for arrows in digital circuit

Workcraft 6

Wishlist

Confirmed

#1394289 Detachable tool bars

Workcraft 6

Wishlist

Fix Committed

#1395354 Estimate the initial state of signals in simulation

Workcraft 6

Wishlist

Confirmed

#1395361 Inplace editor should change its bounds to accommodate the whole text

Workcraft 6

Wishlist

Fix Committed

#1395678 Absolute Environment URI is inconvenient

Workcraft 6

Wishlist

Fix Committed

#1401912 Fit to screen after automated layout

Workcraft 6

Wishlist

Fix Committed

#1401914 Open the parallel composition of STGs in the editor by default

Workcraft 6

Wishlist

Fix Committed

#1420742 Possibility to promote tools in the Tools menu

Workcraft 6

Wishlist

Fix Committed

#1420835 Converter tools between CPOG and Graph models

Workcraft 6

Wishlist

Confirmed

#1426786 Name of a transformed STG work remains the same

Workcraft 6

Wishlist

Fix Committed

#1436054 Import of .g files does not open an editor

Workcraft 6

Wishlist

Fix Committed

#1470539 Moving SAT-Based Solver parameters into SCENCO

Workcraft 6

Wishlist

Fix Committed

#1503641 Clean up the external task window

Workcraft 6

Wishlist

Confirmed

#1514895 Two progress bars for transformation tasks

Workcraft 6

Wishlist

Fix Committed

#1515204 Fit to screen on opening

Workcraft 6

Wishlist

Fix Committed

#1515221 Implicit place tokens underneath the arcs

Workcraft 6

Wishlist

Fix Committed

#1516611 Pass a work file as a parameter

Workcraft 6

Wishlist

Fix Committed

#1516937 Empty verification trace is confusing for an inexperienced user

Workcraft 6

Wishlist

Confirmed

#1516940 Check compatibility of the initial state of a circuit and its environment

Workcraft 6

Wishlist

Fix Committed

#1519305 Converter from Petri Net to Policy Net model is missing

Workcraft 6

Wishlist

Fix Committed

#1531534 Gate libraries should be in a separate directory

Workcraft 6

Wishlist

Fix Committed

#1534091 Tool for straigtning connections

Workcraft 6

Wishlist

New

#1534759 Special concurrency reduction arcs in STGs

Workcraft 6

Wishlist

Fix Committed

#1537847 User-defined hierarchy separator

Workcraft 6

Wishlist

Confirmed

#1537848 Preferences for node generation are not persistent

Workcraft 6

Wishlist

Fix Committed

#1538674 A tool is missing for hiding selected signals and dummies from STGs

Workcraft 6

Report a bug

Bug supervisor:: Workcraft core developers