75 commits

Author	SHA1	Message	Date
Clifford Wolf	6fe48cf41e	equiv_purge bugfix, using SigChunk in Yosys namespace	2015-10-24 19:09:45 +02:00
Clifford Wolf	4cec1c058d	Added equiv_mark command	2015-10-23 23:56:58 +02:00
Clifford Wolf	15a67392f1	Also merge $equiv cells in equiv_struct	2015-10-23 15:26:58 +02:00
Clifford Wolf	d19069b0fb	Improvements in equiv_struct	2015-10-23 15:11:57 +02:00
Clifford Wolf	84a07ffb8a	Added equiv_purge	2015-10-22 15:40:27 +02:00
Clifford Wolf	00e05b1310	Added equiv_struct command	2015-10-21 17:12:35 +02:00
Clifford Wolf	6416dfee93	Improved inout handling in equiv_make	2015-10-21 15:42:50 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	4e6ca7760f	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
Clifford Wolf	5170b86108	Added equiv_add	2015-02-08 11:59:38 +01:00
Clifford Wolf	893fe87a33	Improved performance in equiv_simple	2015-02-01 22:50:48 +01:00
Clifford Wolf	1d92915a55	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	2015-01-31 21:07:42 +01:00
Clifford Wolf	bc86b4a7e9	Added "equiv_induct -undef"	2015-01-31 13:58:04 +01:00
Clifford Wolf	e9cfc4a453	Added "equiv_simple -undef"	2015-01-31 13:06:41 +01:00
Clifford Wolf	f80f5b721d	Added "equiv_make -blacklist <file> -encfile <file>"	2015-01-31 12:08:20 +01:00
Clifford Wolf	df64542288	Fixed bug in equiv_miter	2015-01-28 00:34:30 +01:00
Clifford Wolf	acfaeb8d34	Added equiv_remove	2015-01-25 14:20:22 +01:00
Clifford Wolf	66a6b86daa	Added equiv_miter	2015-01-25 14:00:49 +01:00
Clifford Wolf	75bbeb828a	Various equiv_* improvements	2015-01-24 00:32:24 +01:00
Clifford Wolf	43951099cf	Added dict/pool.sort()	2015-01-24 00:13:27 +01:00
Clifford Wolf	1cb4c925d0	Improvements in equiv_make, equiv_induct	2015-01-22 21:23:01 +01:00
Clifford Wolf	f6d94e8720	Added equiv_induct	2015-01-22 14:03:18 +01:00
Clifford Wolf	a6aa32e762	Various equiv_simple improvements	2015-01-22 13:42:04 +01:00
Clifford Wolf	0a225f8b27	Moved equiv stuff to passes/equiv/	2015-01-22 12:03:15 +01:00