iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Merge branch 'btor-ng'	Clifford Wolf	2017-12-15	4	-987/+959
\|\
\| *	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