Krystine Sherwin c1bc302174 symfpu: Add flags ... Use symfpu fork. Add tests for symfpu properties and extra edge case checking for flags.		2026-03-11 12:58:53 +13:00
..
cmds	symfpu: Add flags	2026-03-11 12:58:53 +13:00
equiv	Fix help message for equiv passes	2026-03-04 07:46:40 +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	memory_libmap: Add -force-params	2026-02-20 10:57:00 +00: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	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