Clifford Wolf 8b3f8cd220 Added "equiv_struct -fwonly"

2016-01-08 10:59:16 +01:00

..

equiv_add.cc

Added "equiv_add -try" mode

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

equiv_induct.cc

renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()

2015-10-24 22:56:40 +02:00

equiv_make.cc

Improved inout handling in equiv_make

2015-10-21 15:42:50 +02:00

equiv_mark.cc

Use mfp<> in equiv_mark

2015-10-27 19:15:35 +01:00

equiv_miter.cc

equiv_purge bugfix, using SigChunk in Yosys namespace

2015-10-24 19:09:45 +02:00

equiv_purge.cc

equiv_purge bugfix, using SigChunk in Yosys namespace

2015-10-24 19:09:45 +02:00

equiv_remove.cc

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

equiv_simple.cc

renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()

2015-10-24 22:56:40 +02:00

equiv_status.cc

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

equiv_struct.cc

Added "equiv_struct -fwonly"

2016-01-08 10:59:16 +01:00

Makefile.inc

Added equiv_mark command

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