Clifford Wolf 3bbac5c141 Fix equiv_simple, old behavior now available with "equiv_simple -short"

2017-04-28 18:57:53 +02:00

..

equiv_add.cc

Added "equiv_add -try" mode

2016-01-06 13:54:00 +01:00

equiv_induct.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

equiv_make.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

equiv_mark.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

equiv_miter.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

equiv_purge.cc

Squelch trailing whitespace

2017-04-12 15:11:09 +02:00

equiv_remove.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

equiv_simple.cc

Fix equiv_simple, old behavior now available with "equiv_simple -short"

2017-04-28 18:57:53 +02:00

equiv_status.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

equiv_struct.cc

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

Makefile.inc

Added equiv_mark command

2015-10-23 23:56:58 +02:00