Clifford Wolf 1d92915a55 Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")

2015-01-31 21:07:42 +01:00

..

equiv_induct.cc

Added "equiv_induct -undef"

2015-01-31 13:58:04 +01:00

equiv_make.cc

Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")

2015-01-31 21:07:42 +01:00

equiv_miter.cc

Added "equiv_make -blacklist <file> -encfile <file>"

2015-01-31 12:08:20 +01:00

equiv_remove.cc

Added equiv_remove

2015-01-25 14:20:22 +01:00

equiv_simple.cc

Added "equiv_simple -undef"

2015-01-31 13:06:41 +01:00

equiv_status.cc

Various equiv_* improvements

2015-01-24 00:32:24 +01:00

Makefile.inc

Added equiv_remove

2015-01-25 14:20:22 +01:00