Clifford Wolf 5170b86108 Added equiv_add

2015-02-08 11:59:38 +01:00

..

equiv_add.cc

Added equiv_add

2015-02-08 11:59:38 +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

Improved performance in equiv_simple

2015-02-01 22:50:48 +01:00

equiv_status.cc

Various equiv_* improvements

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

Makefile.inc

Added equiv_add

2015-02-08 11:59:38 +01:00