-
Notifications
You must be signed in to change notification settings - Fork 911
Pull requests: YosysHQ/yosys
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Cover all cases of submodule status in check-git-abc
#4908
opened Feb 17, 2025 by
KrystalDelusion
Loading…
Copy
abc
stuff for pyosys to enable use of the abc
pass
#4901
opened Feb 14, 2025 by
akashlevy
Loading…
share: fix infinite loop in find_terminal_bits on $mux loop
#4895
opened Feb 12, 2025 by
widlarizer
Loading…
Add
abstract
pass for formal verification
#4894
opened Feb 11, 2025 by
widlarizer
Loading…
3 tasks done
Add tutorial for adapting write_functional_smt2
#4884
opened Feb 7, 2025 by
KrystalDelusion
Loading…
Move passes out of the passes/pmgen folder
merge-soon
Merge: PR will be merged at the end of the next work day unless concerns are raised
#4881
opened Jan 31, 2025 by
KrystalDelusion
Loading…
tcl: Update help message to clarify usage of
result.string
#4868
opened Jan 28, 2025 by
david-sawatzke
Loading…
enforce that hdlname/scopename is used consistently with public/private names
#4842
opened Jan 13, 2025 by
nakengelhardt
•
Draft
abc: extract compressed Liberty files to temporary directory
#4841
opened Jan 10, 2025 by
widlarizer
•
Draft
1 task done
Memory-efficient zlib usage across Liberty file consumers
#4834
opened Jan 6, 2025 by
widlarizer
Loading…
Add -blackbox option to setundef pass
status-superseded
Status: Work continues in a different PR or was made redundant
#4812
opened Dec 10, 2024 by
KrystalDelusion
Loading…
2 of 3 tasks
opt_expr: limit effort to reduce runtime on anomalous designs
#4782
opened Nov 28, 2024 by
widlarizer
Loading…
proc_dff: bit-granularity optimizations and refactoring
#4781
opened Nov 28, 2024 by
georgerennie
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.