3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-04 23:14:00 +00:00

Added equiv_purge

This commit is contained in:
Clifford Wolf 2015-10-22 15:40:27 +02:00
parent 00e05b1310
commit 84a07ffb8a
2 changed files with 210 additions and 0 deletions

View file

@ -7,4 +7,5 @@ OBJS += passes/equiv/equiv_add.o
OBJS += passes/equiv/equiv_remove.o
OBJS += passes/equiv/equiv_induct.o
OBJS += passes/equiv/equiv_struct.o
OBJS += passes/equiv/equiv_purge.o