Skip to content

Issues: workcraft/workcraft

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

59 Open 875 Closed
59 Open 875 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt click/return to exclude labels
or ⇧ click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support different pin names for scannable TBUF and TINV enhancement priority:high status:confirmed tag:model:circuit
#1618 opened Jun 24, 2024 by danilovesky v3.5.2
@danilovesky
Update hierarchical design tutorial to reflect recent changes in N-way conformation check help priority:low status:confirmed tag:model:stg
#1616 opened Jun 17, 2024 by danilovesky v3.5.2
@vkhomenko @danilovesky
Write log messages into a file enhancement priority:high status:confirmed tag:file
#1592 opened Apr 18, 2024 by danilovesky
@danilovesky
GUI slows down as Output tab fills with messages enhancement priority:high status:confirmed tag:ui
#1591 opened Apr 18, 2024 by danilovesky
@danilovesky
Transformation command to increment last numeral in selected STG transitions enhancement priority:low status:confirmed tag:model:stg
#1590 opened Apr 15, 2024 by danilovesky
@vkhomenko @danilovesky
Handle fork after zero-delay inverter on Verilog import enhancement priority:low status:confirmed tag:file:import tag:model:circuit
#1587 opened Mar 7, 2024 by danilovesky
@vkhomenko @danilovesky
Add access to all grid styles via toolbar button enhancement priority:low status:confirmed tag:ui
#1570 opened Jan 26, 2024 by danilovesky
Exclude node labels and names from selection bounding box enhancement priority:low status:confirmed tag:ui
#1551 opened Nov 2, 2023 by danilovesky
@danilovesky
Add transformation command to replicate a node and its incident arcs enhancement priority:low status:confirmed tag:core
#1528 opened Sep 7, 2023 by danilovesky
3 tasks
v3.5.2
@danilovesky
Temporary directories and files not always removed in Windows bug priority:low status:confirmed
#1467 opened Apr 11, 2023 by danilovesky
@danilovesky
Kill descendant processes on Workcraft termination bug priority:low tag:backend tag:core
#1387 opened Sep 30, 2022 by danilovesky
@danilovesky
Support to transition inhibitors in Petri Nets enhancement priority:low tag:model:petri tag:model:stg
#1384 opened Sep 10, 2022 by scarbajali
3
Improve identification of Type 1 consistency violation enhancement priority:low status:confirmed tag:backend:mpsat
#1308 opened Dec 15, 2021 by danilovesky
@vkhomenko @danilovesky
Prevent signal name clashing with Verilog keywords enhancement priority:low tag:model:circuit tag:model:stg
#1291 opened Oct 28, 2021 by danilovesky
@danilovesky
1
Command to check if there is redundant place in a selection or in the whole model enhancement priority:low status:confirmed tag:backend:mpsat tag:model:petri tag:model:stg
#1226 opened Apr 21, 2021 by danilovesky
2
Unfolding is too large due to many dummies
#1224 opened Apr 21, 2021 by vkhomenko
Workcraft main window does not close by normal means bug priority:low tag:ui
#1168 opened Dec 14, 2020 by RoryBaker
2
Change of initial state on copy-pasted of FSM or FST into an empty work bug priority:low status:confirmed tag:model:fsm tag:model:fst
#1142 opened Oct 15, 2020 by danilovesky
1
Wizard for specifying fairness assumptions in temporal verification enhancement priority:low
#1135 opened Sep 29, 2020 by vkhomenko
Support for arbitration primitives in digital circuits enhancement priority:low status:confirmed tag:model:circuit
#1130 opened Sep 23, 2020 by danilovesky
2 of 3 tasks
@danilovesky
Refactor interaction between verification tasks and solution interpreters enhancement priority:high status:confirmed tag:backend:mpsat tag:core
#1129 opened Sep 21, 2020 by danilovesky
@danilovesky
Make use of dependency verification feature of Gradle v6.2 enhancement priority:low status:confirmed tag:ci
#1072 opened Feb 19, 2020 by danilovesky
@danilovesky
Checking multiple Reach properties on the same prefix enhancement priority:low status:confirmed tag:backend:mpsat tag:core
#1053 opened Dec 16, 2019 by vkhomenko
@danilovesky
Specialised simulation tool for cross-STG violation traces enhancement priority:low tag:model:stg tag:ui
#993 opened Jul 17, 2019 by danilovesky
Alternative refinement models enhancement priority:high status:confirmed tag:model:circuit
#982 opened Jun 10, 2019 by danilovesky
2 tasks
@danilovesky
ProTip! no:milestone will show everything without a milestone.