|
cmds
|
connect: remove input ports on conflict
|
2026-03-24 23:23:27 +01:00 |
|
equiv
|
signorm: disable passes that use rewrite_sigspecs
|
2026-03-17 17:35:57 +01:00 |
|
memory
|
Remove .c_str() from parameters to log_debug()
|
2025-09-23 19:10:33 +12:00 |
|
opt
|
opt_dff: sigma harder, FfDataSigMapped
|
2026-03-24 23:22:39 +01:00 |
|
proc
|
Update passes/proc to avoid bits()
|
2025-09-16 03:17:23 +00:00 |
|
sat
|
signorm: disable passes that use rewrite_sigspecs
|
2026-03-17 17:35:57 +01:00 |
|
tests
|
Remove .c_str() from parameters to log_debug()
|
2025-09-23 19:10:33 +12:00 |