iCE40/yosys - clone of https://github.com/YosysHQ/yosys

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add minisat 00_PATCH_typofixes.patch	Clifford Wolf	2017-03-27	2	-0/+21
\|
*	Remove use of <fpu_control.h> in minisat	Clifford Wolf	2017-03-27	4	-18/+44
\|
*	Corrected spelling mistakes found by lintian	Ruben Undheim	2014-09-06	1	-2/+2
\|
*	Removed Minisat dependency on zlib	Clifford Wolf	2014-07-25	4	-13/+42
\|
*	Updated minisat	Clifford Wolf	2014-07-21	20	-45/+45
\|
*	Using relative path names in minisat headers	Clifford Wolf	2014-07-21	1	-1/+1
\|
*	minisat compile fix	Clifford Wolf	2014-04-20	3	-2/+25
\|
*	POSIX find requires a path argument.	Anthony J. Bentley	2014-04-04	1	-1/+1
\|
*	Some fixes in libs/minisat (thanks to Siesh1oo)	Clifford Wolf	2014-03-12	3	-9/+10
\|
*	Added libs/minisat (copy of minisat git master)	Clifford Wolf	2014-03-12	24	-0/+5013