Search results

Support different pin names for scannable TBUF and TINV

enhancement

priority:high

status:confirmed

tag:model:circuit

Status: Open.

#1618 In workcraft/workcraft;

· danilovesky opened on Jun 24, 2024

Write log messages into a file

enhancement

priority:high

status:confirmed

tag:file

Status: Open.

#1592 In workcraft/workcraft;

· danilovesky opened on Apr 18, 2024

GUI slows down as Output tab fills with messages

enhancement

priority:high

status:confirmed

tag:ui

Status: Open.

#1591 In workcraft/workcraft;

· danilovesky opened on Apr 18, 2024

Transformation command to increment last numeral in selected STG transitions

enhancement

priority:low

status:confirmed

tag:model:stg

Status: Open.

#1590 In workcraft/workcraft;

· danilovesky opened on Apr 15, 2024

Handle fork after zero-delay inverter on Verilog import

enhancement

priority:low

status:confirmed

tag:file:import

tag:model:circuit

Status: Open.

#1587 In workcraft/workcraft;

· danilovesky opened on Mar 7, 2024

Add access to all grid styles via toolbar button

enhancement

priority:low

status:confirmed

tag:ui

Status: Open.

#1570 In workcraft/workcraft;

· danilovesky opened on Jan 26, 2024

Exclude node labels and names from selection bounding box

enhancement

priority:low

status:confirmed

tag:ui

Status: Open.

#1551 In workcraft/workcraft;

· danilovesky opened on Nov 2, 2023

Temporary directories and files not always removed in Windows

bug

priority:low

status:confirmed

Status: Open.

#1467 In workcraft/workcraft;

· danilovesky opened on Apr 11, 2023

Kill descendant processes on Workcraft termination

bug

priority:low

tag:backend

tag:core

Status: Open.

#1387 In workcraft/workcraft;

· danilovesky opened on Sep 30, 2022

Support to transition inhibitors in Petri Nets

enhancement

priority:low

tag:model:petri

tag:model:stg

Status: Open.

#1384 In workcraft/workcraft;

· scarbajali opened on Sep 10, 2022

Improve identification of Type 1 consistency violation

enhancement

priority:low

status:confirmed

tag:backend:mpsat

Status: Open.

#1308 In workcraft/workcraft;

· danilovesky opened on Dec 15, 2021

Prevent signal name clashing with Verilog keywords

enhancement

priority:low

tag:model:circuit

tag:model:stg

Status: Open.

#1291 In workcraft/workcraft;

· danilovesky opened on Oct 28, 2021