iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add array support to btor back-end	Clifford Wolf	2017-12-15	1	-6/+169
*	Add $anyconst/$anyseq support to btor back-end	Clifford Wolf	2017-12-15	1	-13/+51
*	Merge branch 'master' into btor-ng	Clifford Wolf	2017-12-14	4	-8/+12
\|\
\| *	Add yosys-smtbmc VCD writer support for memories with async writes	Clifford Wolf	2017-12-14	3	-7/+11
\| *	Fix a bug in clk2fflogic memory handling	Clifford Wolf	2017-12-14	1	-1/+1
* \|	Merge branch 'master' into btor-ng	Clifford Wolf	2017-12-14	9	-38/+178
\|\\|
\| *	Add clk2fflogic memory support	Clifford Wolf	2017-12-14	1	-1/+77
\| *	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 "write_btor -s" mode	Clifford Wolf	2017-12-13	1	-6/+50
* \|	Add state initval handling to btor back-end	Clifford Wolf	2017-12-12	1	-0/+25
* \|	Add btor back-end support for 'x' constants	Clifford Wolf	2017-12-12	1	-1/+54
* \|	Add SigSpec::is_fully_ones()	Clifford Wolf	2017-12-12	2	-0/+16
* \|	Add btor $shift/$shiftx support	Clifford Wolf	2017-12-11	2	-7/+37
* \|	Fix btor back-end shift handling	Clifford Wolf	2017-12-10	2	-5/+7
* \|	Add support for $pmux in btor back-end	Clifford Wolf	2017-12-10	1	-0/+23
* \|	Add support for more cell types to btor back-end	Clifford Wolf	2017-12-10	2	-6/+245
* \|	Merge branch 'master' into btor-ng	Clifford Wolf	2017-12-10	1	-69/+122
\|\\|
\| *	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
* \|	Fix btor concat	Clifford Wolf	2017-12-09	1	-1/+1
* \|	Merge branch 'master' into btor-ng	Clifford Wolf	2017-12-09	4	-4/+9
\|\\|
\| *	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 branch 'master' into btor-ng	Clifford Wolf	2017-12-01	1	-0/+263
\|\\|
\| *	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
* \| \|	Merge branch 'master' into btor-ng	Clifford Wolf	2017-11-27	10	-9/+54
\|\\| \|
\| * \|	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
\| \|/ /
* \| \|	Fixed "yosys-smtbmc -g" handling of no solution	Clifford Wolf	2017-11-27	1	-1/+1
* \| \|	Merge branch 'master' into btor-ng	Clifford Wolf	2017-11-24	5	-33/+309
\|\\| \|