iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...	Alan Mishchenko	2019-03-05	1	-1/+1
*	Fix wrong type cast.	Mathias Soeken	2017-03-06	1	-1/+1
*	Movinng custom floating-point implementations, etc.	Alan Mishchenko	2017-02-11	2	-453/+0
*	Platform-independent double.	Alan Mishchenko	2017-02-11	2	-1/+226
*	Reordering if-statements in the xsat solver.	Alan Mishchenko	2017-02-02	1	-5/+3
*	Custom floating-point number.	Alan Mishchenko	2017-01-28	1	-0/+15
*	Custom floating-point number.	Alan Mishchenko	2017-01-28	1	-0/+213
*	Fixing windows compilation problem.	Alan Mishchenko	2017-01-24	3	-3/+4
*	Fixing gcc compilation problem.	Alan Mishchenko	2017-01-24	1	-2/+2
*	Fixes to make xSAT compile with old compilers.	Bruno Schmitt	2016-12-13	8	-136/+119
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	2	-4/+3
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	7	-109/+137
*	xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...	Bruno Schmitt	2016-12-12	13	-0/+3151