iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2017-02-18	2	-7/+7
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	2	-2/+4
*	- Small changes to the watch lists behavior.	Bruno Schmitt	2017-02-15	7	-5/+98
*	- Small bug fix in var activity (improve performance)	Bruno Schmitt	2017-02-14	4	-56/+55
*	Adding APIs to mark cones. Creating test-bench for incremental solving &satok...	Alan Mishchenko	2017-02-11	4	-4/+64
*	New implementation of a software floating point implementation (sdbl) for con...	Bruno Schmitt	2017-02-11	11	-469/+412
*	Updates to the autotuner.	Alan Mishchenko	2017-02-10	1	-1/+1
*	Changes to compile on Windows.	Alan Mishchenko	2017-02-10	1	-3/+3
*	New fixed point data type.	Bruno Schmitt	2017-02-10	6	-39/+149
*	- Adding a compile time option to use floats for var activity (now it can be ...	Bruno Schmitt	2017-02-09	8	-34/+300
*	Small changes to compile satoko on Windows.	Alan Mishchenko	2017-02-06	3	-4/+4
*	Small changes to support old compilers.	Bruno Schmitt	2017-02-06	8	-34/+34
*	Adding a new SAT solver to ABC. (Satoko)	Bruno Schmitt	2017-02-06	22	-0/+3451