iCE40/yosys - clone of https://github.com/YosysHQ/yosys

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2015-02-25	2	-14/+54
\|\
\| *	Added "keep_hierarchy" attribute	Clifford Wolf	2015-02-25	2	-14/+54
\| \|
* \|	Bugfix in iopadmap	Clifford Wolf	2015-02-25	1	-10/+3
\|/
*	Some cleanups in "clean"	Clifford Wolf	2015-02-24	3	-7/+26
\|
*	Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.	Clifford Wolf	2015-02-24	1	-2/+4
\| \| \| \|	(original patch by Andrew Becker <andrew.becker@epfl.ch>)
*	Minor "write_smt2" help msg change	Clifford Wolf	2015-02-22	1	-1/+1
\|
*	Fixed "check -assert"	Clifford Wolf	2015-02-22	1	-1/+1
\|
*	Added "<mod>_a" and "<mod>_i" to write_smt2 output	Clifford Wolf	2015-02-22	1	-23/+149
\|
*	Added "check -assert" doc	Clifford Wolf	2015-02-22	1	-0/+3
\|
*	Added "check -assert"	Clifford Wolf	2015-02-22	1	-0/+8
\|
*	Fixed "sat -initsteps" off-by-one bug	Clifford Wolf	2015-02-22	1	-1/+1
\|
*	Added "sat -stepsize" and "sat -tempinduct-step"	Clifford Wolf	2015-02-21	1	-21/+64
\|
*	sat docu change	Clifford Wolf	2015-02-21	1	-0/+3
\|
*	When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.	Clifford Wolf	2015-02-21	1	-0/+5
\|
*	Added "sat -tempinduct-baseonly -tempinduct-inductonly"	Clifford Wolf	2015-02-21	1	-66/+92
\|
*	Fixed basecase init for "sat -tempinduct"	Clifford Wolf	2015-02-21	1	-1/+6
\|
*	Fixed "flatten" for non-pre-derived modules	Clifford Wolf	2015-02-21	1	-2/+2
\|
*	Hotfix for yosysjs/demo03.html	Clifford Wolf	2015-02-21	1	-4/+4
\|
*	YosysJS: Wait for Viz to load	Clifford Wolf	2015-02-21	2	-16/+33
\|
*	Replaced ezDefaultSAT with ezSatPtr	Clifford Wolf	2015-02-21	12	-139/+186
\|
*	Catch constants assigned to cell outputs in "flatten"	Clifford Wolf	2015-02-21	1	-0/+6
\|
*	Added deep recursion warning to AST simplify	Clifford Wolf	2015-02-20	1	-1/+7
\|
*	Parser support for complex delay expressions	Clifford Wolf	2015-02-20	2	-8/+21
\|
*	YosysJS firefox fixes	Clifford Wolf	2015-02-19	2	-5/+5
\|
*	YosysJS stuff	Clifford Wolf	2015-02-19	7	-16/+156
\|
*	format fixes in "sat -dump_json"	Clifford Wolf	2015-02-19	1	-18/+17
\|
*	Added "sat -dump_json" (WaveJSON format)	Clifford Wolf	2015-02-19	1	-4/+92
\|
*	Changed "show" defaults for Win32	Clifford Wolf	2015-02-19	1	-1/+4
\|
*	Convert floating point cell parameters to strings	Clifford Wolf	2015-02-18	1	-9/+12
\|
*	Fixed clang (svn trunk) warnings	Clifford Wolf	2015-02-18	2	-4/+2
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2015-02-18	2	-1/+36
\|\
\| *	wreduce help typo fix	Clifford Wolf	2015-02-17	1	-1/+1
\| \|
\| *	CodingReadme	Clifford Wolf	2015-02-17	1	-0/+35
\| \|
* \|	Added "select %xe %cie %coe"	Clifford Wolf	2015-02-18	1	-7/+28
\|/
*	YosysJS fixes for firefox	Clifford Wolf	2015-02-16	2	-23/+41
\|
*	More YosysJS stuff	Clifford Wolf	2015-02-16	5	-105/+83
\|
*	Added YosysJS wrapper	Clifford Wolf	2015-02-16	6	-5/+273
\|
*	Bugfix in wreduce	Clifford Wolf	2015-02-16	1	-7/+14
\|
*	More yosys.js improvements	Clifford Wolf	2015-02-16	1	-4/+29
\|
*	Added Viz to yosys.js	Clifford Wolf	2015-02-15	4	-8/+87
\|
*	Added yosys.js FS support	Clifford Wolf	2015-02-15	1	-2/+61
\|
*	More emcc stuff	Clifford Wolf	2015-02-15	3	-17/+39
\|
*	Improved yosys.js example	Clifford Wolf	2015-02-15	1	-60/+72
\|
*	Added "stat" to "synth" and "synth_xilinx"	Clifford Wolf	2015-02-15	2	-0/+4
\|
*	Added final checks to "synth" and "synth_xilinx"	Clifford Wolf	2015-02-15	2	-7/+24
\|
*	Added "check -noinit"	Clifford Wolf	2015-02-15	1	-3/+19
\|
*	Cosmetic fixes in "hierarchy" for blackbox modules	Clifford Wolf	2015-02-15	1	-2/+4
\|
*	More emscripten stuff, Added example app	Clifford Wolf	2015-02-15	5	-4/+99
\|
*	Fixed default EMCCFLAGS	Clifford Wolf	2015-02-15	1	-5/+8
\|
*	Smaller default parameters in $mem simlib model	Clifford Wolf	2015-02-15	1	-2/+2
\|