iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove added newline (by re-running minisat 00_UPDATE.sh)	Clifford Wolf	2019-05-08	1	-1/+0
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Replace; #define __STDC_LIMIT_MACROS #define __STDC_FORMAT_MACROS With #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS #endif #ifndef __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS #endif This fixes a compile warning if you are defining these macros in your CXXFLAGS (as some distros do).
*	minisat: Remove template with gzFile specialization.	Tim 'mithro' Ansell	2017-11-25	2	-4/+21
\| \| \| \| \|	All the other gzFile functions have been removed but this template was still left around.
*	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