iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add WASI platform support.	whitequark	2020-04-30	3	-3/+41
*	Remove added newline (by re-running minisat 00_UPDATE.sh)	Clifford Wolf	2019-05-08	1	-1/+0
*	Fix all warnings that occurred when compiling with gcc9	Kristoffer Ellersgaard Koch	2019-05-08	1	-0/+1
*	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	5	-2/+18
*	minisat: Remove template with gzFile specialization.	Tim 'mithro' Ansell	2017-11-25	2	-4/+21
*	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