iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	No limit for length of lines in BLIF front-end	Clifford Wolf	2016-10-19	1	-1/+7
*	Merge pull request #250 from azonenberg/master	Clifford Wolf	2016-10-19	1	-4/+35
\|\
\| *	Fixed typo in last commit	Andrew Zonenberg	2016-10-18	1	-1/+1
\| *	greenpak4: Added GP_PGEN cell definition	Andrew Zonenberg	2016-10-18	1	-0/+21
\| *	Added GLITCH_FILTER parameter to GP_DELAY	Andrew Zonenberg	2016-10-18	1	-3/+2
\| *	greenpak4: added model for GP_EDGEDET block	Andrew Zonenberg	2016-10-18	1	-0/+10
\| *	Merge https://github.com/cliffordwolf/yosys	Andrew Zonenberg	2016-10-18	4	-8/+98
\| \|\ \| \|/ \|/\|
* \|	Ignore L_pi nets in "yosys-smtbmc --cex"	Clifford Wolf	2016-10-18	1	-2/+5
* \|	Use init value "2" for all uninitialized FFs in BLIF back-end	Clifford Wolf	2016-10-18	1	-4/+1
* \|	Added "yosys-smtbmc --cex <filename>"	Clifford Wolf	2016-10-17	1	-1/+35
* \|	Bugfix in "miter -assert" handling of assumptions	Clifford Wolf	2016-10-17	1	-2/+2
* \|	Added clk2fflogic support for $dffsr and $dlatch	Clifford Wolf	2016-10-17	1	-1/+57
\| *	greenpak4: Changed parameters for GP_SYSRESET	Andrew Zonenberg	2016-10-16	1	-1/+2
\|/
*	Improvements and bugfixes in clk2fflogic	Clifford Wolf	2016-10-16	1	-13/+21
*	cleanup in write_smt2 log messages (-bv and -mem are now default)	Clifford Wolf	2016-10-16	1	-1/+1
*	Build fixes for VS 2015	Clifford Wolf	2016-10-16	2	-1/+4
*	Some minor build fixes for Visual C	Clifford Wolf	2016-10-14	3	-3/+16
*	Avoid using strcasecmp()	Clifford Wolf	2016-10-14	1	-2/+21
*	Fixed version string for out-of-tree builds	Clifford Wolf	2016-10-14	1	-1/+1
*	Added notes about some formal features to README	Clifford Wolf	2016-10-14	1	-2/+23
*	Added $anyseq cell type	Clifford Wolf	2016-10-14	11	-11/+40
*	Added clk2fflogic	Clifford Wolf	2016-10-14	2	-0/+154
*	Added opt_rmdff support for $ff cells	Clifford Wolf	2016-10-14	1	-5/+13
*	Added $global_clock verilog syntax support for creating $ff cells	Clifford Wolf	2016-10-14	8	-15/+64
*	Added MEMID handling to "flatten" pass	Clifford Wolf	2016-10-14	1	-0/+6
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2016-10-14	1	-1/+1
\|\
\| *	Merge pull request #246 from set-soft/abc_external_ovr	Clifford Wolf	2016-10-14	1	-1/+1
\| \|\
\| \| *	Ugh! extra patches got here, reverting	Salvador E. Tropea	2016-10-13	1	-4/+3
\| \| *	Allow to overwrite ABCEXTERNAL from the environment.	Salvador E. Tropea	2016-10-13	1	-1/+1
\| \| *	Modified test target name (to test-all)	Salvador E. Tropea	2016-10-13	1	-2/+2
\| \| *	Added a new configuration variable GIT_REV_WHERE	Salvador E. Tropea	2016-10-13	1	-1/+2
\| \|/
* /	Added YOSYS_VER_STR make variable	Clifford Wolf	2016-10-14	1	-2/+4
\|/
*	Added "zinit" pass	Clifford Wolf	2016-10-12	2	-0/+152
*	Added $ff and $_FF_ cell types	Clifford Wolf	2016-10-12	12	-19/+118
*	Fixed "make test" for git head of iverilog	Clifford Wolf	2016-10-11	1	-1/+1
*	define PATH_MAX if not defined by limits.h	Clifford Wolf	2016-10-11	1	-0/+5
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2016-10-11	2	-1/+3
\|\
\| *	Added smtc support for top-level state with [], [N:] syntax	Clifford Wolf	2016-10-08	2	-1/+3
* \|	Bugfix in yosys-smtbmc --noincr	Clifford Wolf	2016-10-04	1	-1/+8
\|/
*	yosys-smtbmc: ABC is a QF_BV solver	Clifford Wolf	2016-10-03	1	-0/+1
*	Added "yosys-smtbmc --noincr"	Clifford Wolf	2016-10-03	1	-10/+39
*	Update ABV to hg rev eb6eca6807cc	Clifford Wolf	2016-10-02	1	-1/+1
*	yosys-smtbmc: added smtc [...] support for cells	Clifford Wolf	2016-10-02	1	-0/+2
*	Added "yosys-smtbmc -s abc"	Clifford Wolf	2016-10-01	1	-0/+4
*	Updated ABV to hg rev 6b74de13c57f	Clifford Wolf	2016-10-01	1	-1/+1
*	Added "prep -nokeepdc"	Clifford Wolf	2016-09-30	1	-4/+12
*	Added "opt_rmdff -keepdc"	Clifford Wolf	2016-09-30	2	-7/+20
*	Updated ABV to hg rev 2bc57cc30593	Clifford Wolf	2016-09-30	1	-1/+1
*	Minor improvements in yosys-smtbmc	Clifford Wolf	2016-09-24	2	-10/+50
*	Added liberty parser support for types within cell decls	Clifford Wolf	2016-09-23	1	-39/+46