iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #856 from kprasadvnsi/master	Clifford Wolf	2019-03-07	6	-10/+12
\|\
\| *	examples/anlogic/ now also output the SVF file.	Kali Prasad	2019-03-06	6	-10/+12
* \|	Refactor SF2 iobuf insertion, Add clkint insertion	Clifford Wolf	2019-03-06	1	-1/+1
* \|	Improve igloo2 example	Clifford Wolf	2019-03-05	1	-2/+3
* \|	Improve igloo2 example	Clifford Wolf	2019-03-05	2	-2/+54
* \|	Improvements in SF2 flow and demo	Clifford Wolf	2019-03-05	2	-1/+2
\|/
*	Improve igloo2 exmaple	Clifford Wolf	2019-03-05	4	-8/+16
*	Add missing newline	Clifford Wolf	2019-03-05	1	-1/+1
*	Added examples/anlogic/	Kali Prasad	2019-03-04	7	-0/+55
*	Improve igloo2 example	Clifford Wolf	2019-03-03	2	-3/+10
*	Update igloo2 example to Libero v12.0	Clifford Wolf	2019-03-03	2	-6/+5
*	Cleanups in igloo2 example design	Clifford Wolf	2019-01-17	6	-7/+4
*	Add SF2 IO buffer insertion	Clifford Wolf	2019-01-17	2	-2/+3
*	Improve Igloo2 example	Clifford Wolf	2019-01-17	8	-22/+41
*	Improve igloo2 example	Clifford Wolf	2019-01-08	4	-5/+29
*	Add skeleton Yosys-Libero igloo2 example project	Clifford Wolf	2019-01-05	5	-0/+44
*	Merge pull request #591 from hzeller/virtual-override	Clifford Wolf	2018-08-15	1	-1/+1
\|\
\| *	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-1/+1
* \|	fix basys3 example	japm48	2018-07-22	2	-0/+4
\|/
*	Update examples/cmos/counter.ys to use "synth" command	Clifford Wolf	2018-05-30	1	-5/+5
*	Add smtbmc support for exist-forall problems	Clifford Wolf	2018-02-23	3	-2/+23
*	Add $allconst and $allseq cell types	Clifford Wolf	2018-02-23	1	-1/+1
*	Fixed the -vout flag to -vqm in examples/intel directory	dh73	2017-11-14	4	-4/+4
*	Add timing constraints to osu035 example	Clifford Wolf	2017-10-10	3	-2/+4
*	Add examples/osu035	Clifford Wolf	2017-05-23	4	-0/+30
*	Replace CRLF line endings with LF in de2i.qsf (quartus example)	Clifford Wolf	2017-04-12	1	-1098/+1098
*	Squelch trailing whitespace	Larry Doolittle	2017-04-12	6	-31/+31
*	Add initial support for both MAX10 and Cyclone IV (E\|GX) FPGAs	dh73	2017-04-05	17	-0/+1287
*	Added $assert/$assume support to AIGER back-end	Clifford Wolf	2016-12-03	2	-3/+3
*	Added examples/aiger/	Clifford Wolf	2016-12-01	4	-0/+53
*	Progress in examples/gowin/	Clifford Wolf	2016-11-08	5	-21/+95
*	Added examples/gowin/	Clifford Wolf	2016-11-07	6	-0/+57
*	Added $anyseq cell type	Clifford Wolf	2016-10-14	1	-1/+2
*	yosys-smtbmc meminit support	Clifford Wolf	2016-09-08	3	-2/+29
*	Improvements in assertpmux	Clifford Wolf	2016-09-07	3	-2/+25
*	Made examples/smtbmc/demo1.v more interesting	Clifford Wolf	2016-09-02	1	-1/+1
*	Added $anyconst support to yosys-smtbmc	Clifford Wolf	2016-08-30	3	-1/+29
*	Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"	Clifford Wolf	2016-08-30	1	-4/+4
*	Removed $predict again	Clifford Wolf	2016-08-28	1	-1/+0
*	Added smtc "final" statement	Clifford Wolf	2016-08-27	4	-2/+36
*	More yosys-smtbmc smtc features	Clifford Wolf	2016-08-24	4	-5/+38
*	yosys-smtbmc --smtc -g	Clifford Wolf	2016-08-24	2	-5/+14
*	Added "yosys-smtbmc --dump-constr"	Clifford Wolf	2016-08-22	1	-1/+1
*	Added examples/smtbmc/demo2.v	Clifford Wolf	2016-08-20	3	-3/+45
*	Added smtbmc longopt support	Clifford Wolf	2016-08-20	1	-2/+2
*	Added $initstate support to smtbmc flow	Clifford Wolf	2016-07-27	1	-1/+2
*	After reading the SV spec, using non-standard predict() instead of expect()	Clifford Wolf	2016-07-21	1	-1/+1
*	Added examples/smtbmc	Clifford Wolf	2016-07-13	2	-0/+30
*	Cleanups and improvements in examples/cmos/	Clifford Wolf	2016-03-11	5	-12/+19
*	Merge commit 'b34385ec924b6067c1f82bdbae923f8062518956'	Clifford Wolf	2016-03-11	5	-9/+76
\|\