Lofty 5a9d73369a abc9: verify post-mapping equivalence by default

2026-01-20 09:58:35 +00:00

..

cmds

Use digit separators for large decimal integers

2026-01-13 16:38:12 +01: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

Use digit separators for large decimal integers

2026-01-13 16:38:12 +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

sim.cc: Check eval err

2025-12-15 12:08:07 +13:00

techmap

abc9: verify post-mapping equivalence by default

2026-01-20 09:58:35 +00:00

tests

test_cell.cc: Generate .aag for all compatible cells

2025-12-02 14:03:36 +13:00