yosys

Author	SHA1	Message	Date
Clifford Wolf	29a555ec7e	Added statehash to ezSAT	2014-12-29 17:10:37 +01:00
Clifford Wolf	cfe0817697	Converting "share" to dict<> and pool<> complete	2014-12-29 02:01:42 +01:00
Clifford Wolf	9ff3a9f30d	Switched most of "share" to dict<> and pool<>	2014-12-29 00:42:48 +01:00
Clifford Wolf	3da46d3437	Renamed hashmap.h to hashlib.h, some related improvements	2014-12-28 17:51:16 +01:00
Clifford Wolf	6c8b0a5fd1	More dict/pool related changes	2014-12-27 12:02:57 +01:00
Clifford Wolf	546e8b5fe7	Improved TopoSort determinism	2014-11-07 15:21:03 +01:00
Clifford Wolf	84ffe04075	Fixed various VS warnings	2014-10-18 15:20:38 +02:00
Clifford Wolf	4569a747f8	Renamed SIZE() to GetSize() because of name collision on Win32	2014-10-10 17:07:24 +02:00
Clifford Wolf	c5c7066ea6	sat encoding for exclusive $pmux ctrl inputs in "share" pass	2014-10-03 19:01:24 +02:00
Clifford Wolf	3e4b0cac8d	added resource sharing of $macc cells	2014-10-03 12:58:40 +02:00
Clifford Wolf	7019bc00e4	resource sharing of $alu cells	2014-10-03 09:55:50 +02:00
Clifford Wolf	f9a307a50b	namespace Yosys	2014-09-27 16:17:53 +02:00
Clifford Wolf	13117bb346	Re-enabled assert for new logic loops in "share" pass	2014-09-21 19:44:08 +02:00
Clifford Wolf	96e821dc6c	Various improvements regarding logic loops in "share" results	2014-09-21 19:36:56 +02:00
Clifford Wolf	d6e2ace95b	Logic loop bugfix for "share" pass	2014-09-21 15:13:44 +02:00
Clifford Wolf	b28be0759f	Added "share -limit"	2014-09-21 15:13:06 +02:00
Clifford Wolf	a6c08b40fe	Still loop bug in "share": changed assert to warning	2014-09-21 14:51:07 +02:00
Clifford Wolf	8d60754aef	Do not introduce new logic loops in "share"	2014-09-21 13:52:39 +02:00
Clifford Wolf	edf11c635a	Assert on new logic loops in "share" pass	2014-09-21 12:57:33 +02:00
Clifford Wolf	8927aa6148	Removed $bu0 cell type	2014-09-04 02:07:52 +02:00
Clifford Wolf	d5148f2e01	Moved "share" and "wreduce" to passes/opt/	2014-09-01 11:45:26 +02:00

21 commits