1940 commits

Author	SHA1	Message	Date
Clifford Wolf	f80d020f17	Added "dff2dffe -direct-match"	2015-04-16 11:30:17 +02:00
Clifford Wolf	2fc2f8f5b3	Added "splice -wires"	2015-04-13 19:28:12 +02:00
Clifford Wolf	e305d85807	Added handling of bool-output cells to "wreduce"	2015-04-13 19:27:49 +02:00
Clifford Wolf	7319951145	Added memory_bram "make_outreg" feature	2015-04-09 16:08:54 +02:00
Clifford Wolf	d176e613c2	Minor fixes in handling of "init" attribute	2015-04-09 15:12:26 +02:00
Clifford Wolf	be7b9b34ca	techmap code cleanup	2015-04-09 12:02:26 +02:00
Clifford Wolf	21a1cc1b60	Added support for "file names with blanks"	2015-04-08 12:14:34 +02:00
Clifford Wolf	aa0ab975b9	Removed "techmap -share_map" (use "-map +/filename" instead)	2015-04-08 12:13:53 +02:00
Clifford Wolf	8eadd8fb18	Added %M and %C select operators	2015-04-07 22:22:09 +02:00
Clifford Wolf	724cead61d	Added "pmuxtree" command	2015-04-07 20:27:10 +02:00
Clifford Wolf	1f33b2a490	Added "chparam -list"	2015-04-07 19:21:30 +02:00
Clifford Wolf	590f74d8f0	Added decoder generation to "muxcover"	2015-04-07 18:03:27 +02:00
Clifford Wolf	f7fb21f185	Added "muxcover" command	2015-04-07 15:42:25 +02:00
Clifford Wolf	c1af590f4e	typo fix	2015-04-07 07:43:01 +02:00
Clifford Wolf	329b841aac	Added "chparam" command	2015-04-07 07:30:14 +02:00
Clifford Wolf	169d1c4711	Added support for initialized brams	2015-04-06 17:06:15 +02:00
Clifford Wolf	a1c62b79d5	Avoid parameter values with size 0 ($mem cells)	2015-04-05 18:04:19 +02:00
Clifford Wolf	706631225e	Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types	2015-04-05 09:45:14 +02:00
Clifford Wolf	c52a4cdeed	Added "dffinit", Support for initialized Xilinx DFF	2015-04-04 19:00:15 +02:00
Clifford Wolf	4b44907619	documentation improvements	2015-03-29 20:22:08 +02:00
Clifford Wolf	68bbb15214	Fixed detection of absolute paths in ABC for win32	2015-03-22 11:03:56 +01:00
Clifford Wolf	8b1e0bdd9e	Fixed handling of quotes in liberty parser	2015-03-18 16:03:19 +01:00
Clifford Wolf	aed4d763cf	Added hierarchy -auto-top	2015-03-18 08:33:40 +01:00
Clifford Wolf	ed15400fc6	Fixed bug in "hierarchy" for parametric designs	2015-03-04 15:52:34 +01:00
Clifford Wolf	1f1deda888	Added non-std verilog assume() statement	2015-02-26 18:47:39 +01:00
Clifford Wolf	27a918eadf	Merge branch 'master' of github.com:cliffordwolf/yosys	2015-02-25 23:01:54 +01:00
Clifford Wolf	331f8b8d0b	Bugfix in iopadmap	2015-02-25 23:01:42 +01:00
Clifford Wolf	3fe18c26cd	Added "keep_hierarchy" attribute	2015-02-25 12:46:00 +01:00
Clifford Wolf	9ae21263f0	Some cleanups in "clean"	2015-02-24 22:31:30 +01:00
Clifford Wolf	81fa4e81a6	Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. ... (original patch by Andrew Becker <andrew.becker@epfl.ch>)	2015-02-24 11:01:00 +01:00
Clifford Wolf	c4f383e452	Fixed "check -assert"	2015-02-22 16:29:44 +01:00
Clifford Wolf	d361d313e1	Added "check -assert" doc	2015-02-22 13:02:48 +01:00
Clifford Wolf	e8307cefd9	Added "check -assert"	2015-02-22 13:00:41 +01:00
Clifford Wolf	39d25b212c	Fixed "sat -initsteps" off-by-one bug	2015-02-22 12:42:05 +01:00
Clifford Wolf	fae0e75ace	Added "sat -stepsize" and "sat -tempinduct-step"	2015-02-21 22:52:49 +01:00
Clifford Wolf	b19c926af8	sat docu change	2015-02-21 22:03:54 +01:00
Clifford Wolf	9237fb924e	When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.	2015-02-21 20:05:16 +01:00
Clifford Wolf	1688b9b464	Added "sat -tempinduct-baseonly -tempinduct-inductonly"	2015-02-21 17:53:22 +01:00
Clifford Wolf	dcbd00c101	Fixed basecase init for "sat -tempinduct"	2015-02-21 17:43:49 +01:00
Clifford Wolf	49dd9c713f	Fixed "flatten" for non-pre-derived modules	2015-02-21 15:01:13 +01:00
Clifford Wolf	4e6ca7760f	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
Clifford Wolf	f778a4081c	Catch constants assigned to cell outputs in "flatten"	2015-02-21 11:21:28 +01:00
Clifford Wolf	08c0fe164f	format fixes in "sat -dump_json"	2015-02-19 13:19:04 +01:00
Clifford Wolf	1ecee6c49c	Added "sat -dump_json" (WaveJSON format)	2015-02-19 10:53:40 +01:00
Clifford Wolf	20eb5cad4b	Changed "show" defaults for Win32	2015-02-19 09:11:38 +01:00
Clifford Wolf	f41378af8c	Fixed clang (svn trunk) warnings	2015-02-18 14:54:22 +01:00
Clifford Wolf	e4cf604ffd	Merge branch 'master' of github.com:cliffordwolf/yosys	2015-02-18 07:19:03 +01:00
Clifford Wolf	5f54be54b8	Added "select %xe %cie %coe"	2015-02-18 07:18:34 +01:00
Clifford Wolf	024aa559e2	wreduce help typo fix	2015-02-17 13:02:16 +01:00
Clifford Wolf	0748ef638d	Bugfix in wreduce	2015-02-16 09:08:00 +01:00