3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-27 14:37:55 +00:00
yosys/passes
Krystine Sherwin 1c627f4a1b
log_help: Add manual group support
Sets `chformal` group to "formal" for testing purposes
2025-07-21 10:34:31 +12:00
..
cmds log_help: Add manual group support 2025-07-21 10:34:31 +12:00
equiv mark all hash_into methods nodiscard 2025-01-14 12:39:15 +01:00
fsm io: refactor string and file work into new unit 2025-03-19 13:43:42 +01:00
hierarchy don't warn for every blackbox from verific 2025-06-06 15:37:42 +02:00
memory memory_libmap: fix MapWorker memory allocation 2025-04-14 12:41:14 +02:00
opt Start opt_hier 2025-07-05 16:45:52 +02:00
pmgen io: refactor string and file work into new unit 2025-03-19 13:43:42 +01:00
proc Proc: Use selections consistently 2025-05-31 12:04:42 +12:00
sat Merge pull request #5116 from YosysHQ/krys/update_fst 2025-05-16 09:22:52 +12:00
techmap libparse: fix space ANDs 2025-07-15 12:53:13 +02:00
tests macc: Rename 'ports' to 'terms' throughout codebase 2025-03-18 13:25:10 +01:00