iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add smt2 back-end support for async write memories	Clifford Wolf	2017-12-14	1	-14/+53
*	Add RTLIL::Const::is_fully_ones()	Clifford Wolf	2017-12-14	2	-0/+12
*	Add SigSpec::is_fully_ones()	Clifford Wolf	2017-12-14	2	-0/+16
*	Merge pull request #469 from kkiningh/master	Clifford Wolf	2017-12-14	2	-2/+2
\|\
\| *	Use quote includes for yosys.h	Kevin Kiningham	2017-12-13	2	-2/+2
\|/
*	Check for memories in clk2fflogic	Clifford Wolf	2017-12-13	1	-0/+5
*	Merge pull request #468 from grahamedgecombe/fix-sb-io-od	Clifford Wolf	2017-12-13	1	-19/+19
\|\
\| *	Fix port names in SB_IO_OD	Graham Edgecombe	2017-12-10	1	-18/+18
\| *	Remove trailing comma from SB_IO_OD port list	Graham Edgecombe	2017-12-10	1	-1/+1
* \|	Add warnings for driver-driver conflicts between FFs (and other cells) and co...	Clifford Wolf	2017-12-12	2	-3/+11
\|/
*	Add support for Verific PRIM_SVA_NOT properties	Clifford Wolf	2017-12-10	1	-10/+25
*	Add Verific OPER_SVA_STABLE support	Clifford Wolf	2017-12-10	1	-2/+32
*	Refactoring Verific SVA rewriter	Clifford Wolf	2017-12-10	1	-62/+70
*	Merge pull request #467 from mithro/patch-1	Clifford Wolf	2017-12-09	1	-1/+1
\|\
\| *	Fix spelling in -vpr help for synth_ice40	Tim Ansell	2017-12-08	1	-1/+1
\|/
*	Use "hg ... --insecure" for cloning/pulling ABC	Clifford Wolf	2017-12-03	1	-2/+2
*	Update ABC to hg rev 31fc97b0aeed	Clifford Wolf	2017-12-02	1	-1/+1
*	Fix error handling for nested always/initial	Clifford Wolf	2017-12-02	2	-0/+5
*	Merge pull request #462 from daveshah1/up5k	Clifford Wolf	2017-11-28	1	-0/+263
\|\
\| *	Add remaining UltraPlus cells to ice40 techlib	David Shah	2017-11-28	1	-0/+263
* \|	Fixed "yosys-smtbmc -g" handling of no solution	Clifford Wolf	2017-11-27	1	-1/+1
* \|	Merge pull request #460 from mithro/g3-fixes	Clifford Wolf	2017-11-26	9	-8/+45
\|\ \
\| * \|	minisat: Make update script executable.	Tim 'mithro' Ansell	2017-11-25	1	-0/+0
\| * \|	minisat: Only define __STDC_XXX_MACROS if not already defined.	Tim 'mithro' Ansell	2017-11-25	6	-3/+23
\| * \|	minisat: Remove template with gzFile specialization.	Tim 'mithro' Ansell	2017-11-25	2	-4/+21
\| * \|	subcircuit: Class with virtual methods should have virtual destructor.	Tim 'mithro' Ansell	2017-11-25	1	-1/+1
* \| \|	Merge pull request #461 from mithro/travis-rework	Clifford Wolf	2017-11-26	1	-1/+9
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	travis: Print branches before fetching, try both locations.	Tim 'mithro' Ansell	2017-11-25	1	-1/+9
\|/ /
* \|	Merge pull request #446 from mithro/travis-rework	Clifford Wolf	2017-11-24	5	-33/+309
\|\ \
\| * \|	travis: Use the cache.	Tim 'mithro' Ansell	2017-11-24	1	-1/+1
\| * \|	travis: Adding gcc-4.8 and gcc-6 on Linux.	Tim 'mithro' Ansell	2017-11-24	1	-0/+47
\| * \|	travis: Reworking travis setup.	Tim 'mithro' Ansell	2017-11-24	5	-33/+262
* \| \|	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2017-11-23	1	-0/+103
\|\ \ \
\| * \ \	Merge pull request #455 from daveshah1/up5k	Clifford Wolf	2017-11-18	1	-0/+103
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| * \|	Remove unnecessary keep attributes	David Shah	2017-11-18	1	-5/+5
\| \| * \|	Merge branch 'master' into up5k	David Shah	2017-11-17	2	-5/+29
\| \| \|\ \
\| \| * \| \|	Add some UltraPlus cells to ice40 techlib	David Shah	2017-11-16	1	-0/+103
* \| \| \| \|	Add Verilog "automatic" keyword (ignored in synthesis)	Clifford Wolf	2017-11-23	2	-13/+18
\|/ / / /
* \| \| \|	Accept real-valued delay values	Clifford Wolf	2017-11-18	1	-0/+1
* \| \| \|	Merge pull request #452 from cr1901/master	Clifford Wolf	2017-11-18	1	-4/+20
\|\ \ \ \
\| * \| \| \|	Accommodate Windows-style paths during include-file processing.	William D. Jones	2017-11-14	1	-4/+20
\| \|/ / /
* \| \| \|	Merge pull request #453 from dh73/master	Clifford Wolf	2017-11-18	14	-9/+316
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| * \| \|	Fixed the -vout flag to -vqm in examples/intel directory	dh73	2017-11-14	4	-4/+4
\| * \| \|	Initial Cyclone 10 support	dh73	2017-11-08	5	-1/+308
\| * \| \|	Merge https://github.com/cliffordwolf/yosys	dh73	2017-11-08	25	-449/+588
\| \|\\| \|
\| * \| \|	Organizing Speedster file names	dh73	2017-11-08	5	-4/+4
* \| \| \|	Add "synth_ice40 -vpr"	Clifford Wolf	2017-11-16	2	-5/+29
\| \|/ / \|/\| \|
* \| \|	Add support for editline as replacement for readline	Clifford Wolf	2017-11-08	4	-10/+39
* \| \|	Add "ltp" command	Clifford Wolf	2017-10-31	2	-0/+186
* \| \|	Fix SMT2 handling of initstate in sub-modules	Clifford Wolf	2017-10-29	1	-0/+3