Matt Johnston 7237ed315a Merge 2a3804139f into 1d3f9b7905		2026-03-03 13:19:38 +00:00
..
cmds	Merge pull request #5687 from YosysHQ/nella/pdr-doc	2026-03-02 09:29:25 +13:00
equiv	satgen: move report_missing_model here from equiv.h	2026-02-16 17:01:09 +01: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	Merge 2a3804139f into 1d3f9b7905	2026-03-03 13:19:38 +00:00
opt	Merge 2a3804139f into 1d3f9b7905	2026-03-03 13:19:38 +00: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	Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors	2026-02-25 15:39:31 +01:00
techmap	Merge pull request #5620 from YosysHQ/lofty/abc9-verify	2026-02-20 13:41:11 +01:00
tests	test_cell.cc: Generate .aag for all compatible cells	2025-12-02 14:03:36 +13:00