yosys

mirror of https://github.com/YosysHQ/yosys.git

Author	SHA1	Message	Date
Eddie Hung	00387f3927	Revert to using clean	2019-08-27 09:24:32 -07:00
Eddie Hung	51ffb093b5	In sat: 'x' in init attr should not override constant	2019-08-22 16:43:08 -07:00
Clifford Wolf	3b52121d32	now ignore init attributes on non-register wires in sat command	2014-07-05 11:18:38 +02:00