Emil J. Tywoniak 4f665d6efc signorm: disable passes that use rewrite_sigspecs

2026-05-22 18:37:58 +02:00

..

equiv_add.cc

Remove .c_str() calls from parameters to log_warning()/log_warning_noprefix()

2025-09-16 23:02:16 +00:00

equiv_induct.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv_make.cc

Remove id2cstr uses in our code base

2026-05-16 19:49:45 +02:00

equiv_mark.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv_miter.cc

signorm: disable passes that use rewrite_sigspecs

2026-05-22 18:37:58 +02:00

equiv_opt.cc

Add "check -assert" to equiv_opt

2022-10-07 16:04:51 +02:00

equiv_purge.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv_remove.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv_simple.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv_status.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv_struct.cc

Refactored uses of log_id()

2026-05-08 20:59:24 -07:00

equiv.h

yosys: use newcelltypes for yosys_celltypes users

2026-03-04 12:39:44 +01:00

Makefile.inc

equiv_opt: new command, for verifying optimization passes.

2018-12-07 17:20:34 +00:00