Bugs : Workcraft

Workcraft

Critical

Fix Committed

#628187 STG: After converting implicit place to explicit, the new place does not have a defined name

Workcraft 6

Critical

Fix Committed

#789315 Incorrect import of .g files

Workcraft 10

Critical

Fix Committed

#1336237 Dummies and places may be assigned the same name

Workcraft 6

Critical

Fix Committed

#1502713 Visual connections are not created on import of .g file

Workcraft 6

Critical

Fix Committed

#1502715 Results of CSC resolution by MPSat cannot be read

Workcraft 6

High

Fix Committed

#1277521 Signal type of newly added STG transitions may be wrong

Workcraft 6

High

Fix Committed

#1291931 Copy-paste of a "doubled" implicit arc in STG causes an exception

Workcraft 6

High

Fix Committed

#1317910 Renaming signals in STG is wrong

Workcraft 6

High

Fix Committed

#1321714 Hanning connection in STG after copy-paste of a page

Workcraft 6

High

Fix Committed

#1322841 Error on copy operation in STG

Workcraft 6

High

Fix Committed

#1326726 Explicit place becomes implicit after saving into a file

Workcraft 6

High

Fix Committed

#1338529 Add output ports explicitly to the STG generated from circuits

Workcraft 6

High

Fix Committed

#1339007 Trace reported by MPSat does not play

Workcraft 6

High

Fix Committed

#1383493 Polyline connection in STG is broken

Workcraft 6

High

Fix Committed

#1426784 Circuit simulation does not respect the environment STG

Workcraft 6

High

Fix Committed

#1500356 xMAS Queue only correctly works for default capacity

Workcraft 6

High

Fix Committed

#1525159 Bugs in conformation check

Workcraft 6

Medium

Fix Committed

#1319740 Implicit place arc between nodes in different namespaces does not work

Workcraft 6

Medium

Fix Committed

#1320984 Copy-paste of an STG implicit place within a page results in error message

Workcraft 6

Medium

Fix Committed

#1320996 Exception on copy-paste of implicit places in pages

Workcraft 6

Medium

Fix Committed

#1322846 Transitions inside a page are given the default name on copy-paste

Workcraft 6

Medium

Fix Committed

#1332527 Checking custom properties with Reachability analysis tool fails

Workcraft 6

Medium

Fix Committed

#1349424 Hierarchy separators are not acceptable by Reach language

Workcraft 6

Medium

Fix Committed

#1391985 Spaces get removed from Reach expression

Workcraft 6

Medium

Fix Committed

#1395102 Circuit conversion to STG creates additional signals for outputs

Workcraft 6

Medium

Fix Committed

#1413679 Circuit STG has redundant transitions

Workcraft 6

Medium

Fix Committed

#1444503 Contraction of STG transitions is incorrect

Workcraft 6

Medium

Fix Committed

#1503646 Composition of circuit with environment STG change inputs into outputs

Workcraft 6

Medium

Fix Committed

#1525232 Space in work name upsets Petrify

Workcraft 6

Medium

Confirmed

#1528951 Incorrect interpretation of hierarchy separator in visualisation of CSC conflict cores

Workcraft 6

Medium

Fix Committed

#1530480 Circuit conformation does not work for the environment containing internal signals

Workcraft 6

Medium

Confirmed

#1539908 Output persistency does not handle internal/input conflicts correctly

Workcraft 6

Low

Fix Committed

#1302041 Dummy transitions with directions should be forbidden

Workcraft 6

Low

Fix Committed

#1332112 Check for normalcy tool outputs wrong messsage

Workcraft 6

Low

Fix Committed

#1335055 Incorrect circuit STG generator rules

Workcraft 6

Low

Fix Committed

#1392019 Implicit places are made explicit after .g import

Workcraft 6

Low

Confirmed

#1444513 Checking of STG normalcy has an error

Workcraft 6

Low

Fix Committed

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

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

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

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

Fix Committed

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

Workcraft 6

Wishlist

Fix Committed

#1395354 Estimate the initial state of signals in simulation

Workcraft 6

Wishlist

Fix Committed

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

Workcraft 6

Wishlist

Fix Committed

#1515221 Implicit place tokens underneath the arcs

Workcraft 6

Wishlist

New

#1534759 Special concurrency reduction arcs in STGs

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