Bugs : Workcraft

Workcraft

Medium

Fix Committed

#1391985 Spaces get removed from Reach expression

Workcraft 6

Medium

Fix Committed

#1392899 Desktop API is not supported exception

Workcraft 6

Medium

Fix Committed

#1395102 Circuit conversion to STG creates additional signals for outputs

Workcraft 6

Medium

Confirmed

#1395356 Make the hazard reports more explicit

Workcraft 6

Medium

Fix Committed

#1395747 CPOG programmer does not run on Windows

Workcraft 6

Medium

Fix Committed

#1399834 Copy-paste breaks in digital circuit model

Workcraft 6

Medium

Fix Committed

#1399835 Impossible to delete circuit environement

Workcraft 6

Medium

Fix Committed

#1413679 Circuit STG has redundant transitions

Workcraft 6

Medium

Fix Committed

#1436879 Incorrect initial state of FSM after conversion from PN

Workcraft 6

Medium

Fix Committed

#1444503 Contraction of STG transitions is incorrect

Workcraft 6

Medium

Fix Committed

#1449445 In Digital Circuit simulation Copy init button does not work

Workcraft 6

Medium

Fix Committed

#1449675 Parsing of MPSat output for reachability analysis has an error

Workcraft 6

Medium

Fix Committed

#1454231 Forks on the primary output port should not be allowed

Workcraft 6

Medium

Fix Committed

#1455462 Scenco encoding does not start

Workcraft 6

Medium

Fix Committed

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

Workcraft 6

Medium

Fix Committed

#1513019 On Verilog import the initial state of signals in not read in Windows

Workcraft 6

Medium

Confirmed

#1515156 Incorrect enabled/disabled menus on changing the work

Workcraft 6

Medium

Confirmed

#1515164 Error if different tools are activated on the same model open in different tabs

Workcraft 6

Medium

Fix Committed

#1518631 Incorrect parent of self-loop net in automatically generated circuits

Workcraft 6

Medium

Fix Committed

#1525232 Space in work name upsets Petrify

Workcraft 6

Medium

Fix Committed

#1527245 Command line too long in Windows

Workcraft 6

Medium

Confirmed

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

Workcraft 6

Medium

Fix Committed

#1529416 Incorect handling the circuit environment files in Windows

Workcraft 6

Medium

Fix Committed

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

Workcraft 6

Medium

Fix Committed

#1530714 Extra arguments before the built-in arguments may cause problems

Workcraft 6

Medium

Confirmed

#1531535 Unmapped gates are incorrectly exported in Verilog

Workcraft 6

Medium

Confirmed

#1539907 Unusable size of some elements on high-resolution screens

Workcraft 6

Medium

Confirmed

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

Workcraft 6

Low

Fix Committed

#452536 Change of Editor background color in SDFS influences other models

Workcraft 6

Low

Triaged

#605404 Crash in output handling of SynchronousExternalProcess

Workcraft 10

Low

Confirmed

#607537 Most components' bounding boxes are not correctly calculated before first "draw" call

Workcraft 6

Low

Confirmed

#664600 Problem creating a new work while another work is maximised

Workcraft 6

Low

Fix Committed

#1270801 Text box changes are ignored if Enter is not pressed

Workcraft 6

Low

Triaged

#1274630 Timers for the editor redraw and for the property update are not released

Workcraft 6

Low

Fix Committed

#1277073 Corrections of build_distr script

Workcraft 6

Low

Fix Committed

#1281618 Exception on opening a non-existent file

Workcraft 6

Low

Fix Committed

#1281645 Node coordinates inside a group are inconsistent between the PropertyEditor and the Rulers

Workcraft 6

Low

Fix Committed

#1287735 Hiding contacts and arrows in Digital Circuit plugin does not look right

Workcraft 6

Low

Fix Committed

#1288340 Double-click on a variable in CPOG plugin does not change its value

Workcraft 6

Low

Fix Committed

#1288772 Positioning of RenderedText is wrong for non-square oblong VisaulComponents

Workcraft 16

Low

Fix Committed

#1302041 Dummy transitions with directions should be forbidden

Workcraft 6

Low

Fix Committed

#1312185 Incorrect drawing of arcs in CPOG plugin

Workcraft 6

Low

Fix Committed

#1330404 Renaming a port in circuit does not show changes in the referring formulas

Workcraft 6

Low

Fix Committed

#1332108 STG specific tools should not be available in Petri net plugin

Workcraft 6

Low

Fix Committed

#1332112 Check for normalcy tool outputs wrong messsage

Workcraft 6

Low

Fix Committed

#1332115 Verification and transformation tools are accessible in simulation mode

Workcraft 6

Low

Fix Committed

#1333721 Preferences for enabled component color should be moved from Visual to Simulation section

Workcraft 6

Low

Fix Committed

#1335055 Incorrect circuit STG generator rules

Workcraft 6

Low

Confirmed

#1335300 Selection by reverse region (from right to left) selects too much

Workcraft 6

Low

Fix Committed

#1339216 Simulation traces get forgotten

Workcraft 6

Low

Fix Committed

#1340290 Incorrect flip and rotation with circuit ports

Workcraft 14

Low

Fix Committed

#1342652 Assign empty set/reset functions to new circuit contacts

Workcraft 6

Low

Fix Committed

#1342671 Add one output to new function components

Workcraft 6

Low

Fix Committed

#1343256 Node names do not change until the editor panel is clicked

Workcraft 6

Low

Fix Committed

#1343266 In Circuit plugin Join component does not have a name property but has name color and position

Workcraft 6

Low

Fix Committed

#1346991 Visual pages and visual groups are broken for the XMAS plugin

Workcraft 6

Low

Fix Committed

#1349754 Incorrect behaviour when leaving a collapsed group with double-click

Workcraft 6

Low

Fix Committed

#1350528 Export menu is enabled when no work is open

Workcraft 6

Low

Fix Committed

#1360299 Connection from output to input pin of the same gate of digital circuit is difficult to select

Workcraft 6

Low

Fix Committed

#1364057 Multiline labels are incompatible with SON Group

Workcraft 6

Low

Fix Committed

#1365514 Regional settings are ignored in the property editor

Workcraft 6

Low

Fix Committed

#1366068 Use shared STG outputs option of pcomp tool

Workcraft 6

Low

Fix Committed

#1366078 Enable the use PNML versions of Punf and MPSat tools

Workcraft 6

Low

Confirmed

#1371683 Unapplicable MPSat modes in Petri net plugin

Workcraft 6

Low

Fix Committed

#1379453 Unable to remove math node

Workcraft 10

Low

Fix Committed

#1392019 Implicit places are made explicit after .g import

Workcraft 6

Low

Fix Committed

#1392026 Add specialised MPSat command line parameters for CSC conflict resolution

Workcraft 6

Low

Fix Committed

#1395359 Contact position is inconvenient after changing the render type

Workcraft 6

Low

Fix Committed

#1395360 Add a possibility to move the pivot to the centre of a circuit component

Workcraft 6

Low

Fix Committed

#1395797 Tools menu remains active in STG simulation

Workcraft 6

Low

Fix Committed

#1402249 Enabled event color does not update in reverse simulation

Workcraft 6

Low

Incomplete

#1402711 Platform shrinks to minimum size on MacOS

Workcraft 6

Low

Fix Committed

#1413766 Removing SAT-solver dependency & NEW GUI CPOG

Workcraft 6

Low

Fix Committed

#1414081 RebrandCPOG encoder from Programmer into Scenco

Workcraft 6

Low

Fix Committed

#1423248 Incorrect bounding box for circuit connections

Workcraft 6

Report a bug

Bug supervisor:: Workcraft core developers