2140 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	5d4f513c3b	Added $assume support to write_smt2	2015-02-26 19:02:55 +01:00
Clifford Wolf	1f1deda888	Added non-std verilog assume() statement	2015-02-26 18:47:39 +01:00
Clifford Wolf	b005eedf36	Added $assume cell type	2015-02-26 18:04:10 +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	ff3f2448b1	Minor "write_smt2" help msg change	2015-02-22 16:30:02 +01:00
Clifford Wolf	c4f383e452	Fixed "check -assert"	2015-02-22 16:29:44 +01:00
Clifford Wolf	4b89dd983c	Added "<mod>_a" and "<mod>_i" to write_smt2 output	2015-02-22 16:19:10 +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	1f6737f08f	Hotfix for yosysjs/demo03.html	2015-02-21 14:31:02 +01:00
Clifford Wolf	1fe15a5973	YosysJS: Wait for Viz to load	2015-02-21 14:25:34 +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	d5ce9a32ef	Added deep recursion warning to AST simplify	2015-02-20 10:33:20 +01:00
Clifford Wolf	dc1a0f06fc	Parser support for complex delay expressions	2015-02-20 10:21:36 +01:00
Clifford Wolf	78b991d760	YosysJS firefox fixes	2015-02-19 13:55:36 +01:00
Clifford Wolf	e0e6d130cd	YosysJS stuff	2015-02-19 13:36:54 +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	c2ba4fb2fd	Convert floating point cell parameters to strings	2015-02-18 23:35:23 +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	138547f41b	CodingReadme	2015-02-17 13:01:01 +01:00
Clifford Wolf	4c22195c38	YosysJS fixes for firefox	2015-02-16 14:10:00 +01:00
Clifford Wolf	3e5e9a3889	More YosysJS stuff	2015-02-16 13:23:54 +01:00
Clifford Wolf	33e80b96c7	Added YosysJS wrapper	2015-02-16 12:41:48 +01:00
Clifford Wolf	0748ef638d	Bugfix in wreduce	2015-02-16 09:08:00 +01:00
Clifford Wolf	162432a722	More yosys.js improvements	2015-02-16 00:11:22 +01:00
Clifford Wolf	0283703f9e	Added Viz to yosys.js	2015-02-15 22:53:41 +01:00
Clifford Wolf	549d56bd21	Added yosys.js FS support	2015-02-15 18:10:54 +01:00
Clifford Wolf	8d45f81046	More emcc stuff	2015-02-15 17:15:29 +01:00
Clifford Wolf	c2cc342e1a	Improved yosys.js example	2015-02-15 16:16:08 +01:00
Clifford Wolf	4d34d031f9	Added "stat" to "synth" and "synth_xilinx"	2015-02-15 13:25:15 +01:00
Clifford Wolf	881dcd8af9	Added final checks to "synth" and "synth_xilinx"	2015-02-15 13:00:00 +01:00
Clifford Wolf	40f021e136	Added "check -noinit"	2015-02-15 12:58:12 +01:00
Clifford Wolf	a54c994e2b	Cosmetic fixes in "hierarchy" for blackbox modules	2015-02-15 12:57:41 +01:00