mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-14 21:01:50 +00:00
Code Activity
yosys/passes
History
Exact
Gus Smith 8ab105ac28
Merge pull request #4303 from Coloquinte/sat_choice 
Infrastructure to run a Sat solver as a command
2026-02-11 06:54:53 -08:00
..
cmds Merge pull request #4303 from Coloquinte/sat_choice 2026-02-11 06:54:53 -08:00
equiv Merge pull request #5357 from rocallahan/builtin-ff 2025-09-17 11:37:16 +02:00
fsm fsm_detect: add adff detection 2025-11-06 23:29:47 +02:00
hierarchy hierarchy.cc: Tidying 2025-10-15 09:42:47 +13:00
memory Remove .c_str() from parameters to log_debug() 2025-09-23 19:10:33 +12:00
opt Merge pull request #5663 from YosysHQ/emil/opt_expr-fix-pow-shift 2026-02-05 13:09:01 +01:00
pmgen Remove .c_str() from log_cmd_error() and log_file_error() parameters 2025-09-16 22:59:08 +00:00
proc proc_clean: Removing an empty full_case is doing something 2026-01-07 13:10:32 +13:00
sat Set solver from scratchpad or command line 2026-02-06 19:26:32 -08:00
techmap Merge pull request #5679 from YosysHQ/emil/abc9-remove-liberty 2026-02-11 12:36:29 +01:00
tests test_cell.cc: Generate .aag for all compatible cells 2025-12-02 14:03:36 +13:00