Skip to content

Pull requests: YosysHQ/yosys

New pull request New
106 Open 3,184 Closed
106 Open 3,184 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

musllinux fix so wheels build can work
#5600 opened Jan 12, 2026 by mmicko Loading…
1
aigerparse: process user LUTs first to work around occasional abc ordering issues
#5596 opened Jan 8, 2026 by widlarizer • Draft
3 tasks
@widlarizer
abc: handle ABC script errors instead of hanging
#5593 opened Jan 7, 2026 by RCoeurjoly • Draft
4
More helpful error messages when loading Yosys Witness files with yosys-smtbmc
#5592 opened Jan 7, 2026 by gussmith23 Loading…
1
@gussmith23
opt_dff: Change AD to const if it's identical or complementary to ALOAD
#5590 opened Jan 6, 2026 by devsaurus Loading…
@widlarizer
2
verific: add -no_split_complex_ports option
#5586 opened Jan 4, 2026 by dhvll Loading…
2
verific: add -ignore_module option
#5585 opened Jan 3, 2026 by dhvll Loading…
verific: add -set_vhdl_default_library_path option
#5584 opened Jan 3, 2026 by dhvll Loading…
2
verific: add -set_relaxed_file_libext_modes option
#5583 opened Jan 3, 2026 by dhvll Loading…
verific: add -set_relaxed_file_ext_modes option
#5582 opened Jan 3, 2026 by dhvll Loading…
verific: add -set_relaxed_checking option
#5581 opened Jan 3, 2026 by dhvll Loading…
verific: add -set_ignore_translate_off option
#5580 opened Jan 3, 2026 by dhvll Loading…
verific: add -optimization option
#5578 opened Jan 1, 2026 by dhvll Loading…
1
4
Add aldff splitting to avoid logic data loops
#5570 opened Dec 23, 2025 by likeamahoney Loading…
@widlarizer
3
feature breakreduce
#5563 opened Dec 21, 2025 by nataliakokoromyti Loading…
add breaksop feature
#5562 opened Dec 20, 2025 by nataliakokoromyti Loading…
1
splitlarge: split wide $add/$sub operators
#5560 opened Dec 19, 2025 by nataliakokoromyti Loading…
3
lut2mux: add -word option
#5557 opened Dec 19, 2025 by nataliakokoromyti Loading…
4
abc: add -word mode which uses word-level cells where possible
#5554 opened Dec 18, 2025 by nataliakokoromyti Loading…
opt_dff: skip convertion to dffe for keep wires
#5548 opened Dec 15, 2025 by phsauter • Draft
4
Document nesting packages as unsupported
#5546 opened Dec 15, 2025 by KrystalDelusion Loading…
Improve error handling in sim
#5544 opened Dec 14, 2025 by KrystalDelusion Loading…
1
@widlarizer
docs: shuffle and expand contributing info documentation
#5531 opened Dec 3, 2025 by widlarizer Loading…
8
Makefile: install frontends/verilog/verilog_location.h. discuss needs further discussion on the YosysHQ discourse (https://yosyshq.discourse.group)
#5529 opened Dec 2, 2025 by Muxianesty Loading…
@widlarizer
3
Document and regression-test staged/cosimulation-based verification
#5528 opened Dec 2, 2025 by gussmith23 • Draft
1 task
ProTip! Type g i on any issue or pull request to go back to the issue listing page.