iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	glift: Use `qbfsat -O2` instead of manually calling `abc`.	Alberto Gonzalez	2020-07-01	8	-40/+8
*	glift: Change command names to better represent their functions.	Alberto Gonzalez	2020-07-01	9	-27/+27
*	glift: Add `-create-imprecise` command, rename other commands, and re-work th...	Alberto Gonzalez	2020-07-01	9	-12/+13
*	glift: Add examples, including a number of benchmarks used in some academic w...	Alberto Gonzalez	2020-07-01	18	-1/+7279
*	Add support for optimizing exists-forall problems.	Alberto Gonzalez	2020-03-13	2	-2/+22
*	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
*	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