iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Prevents Satoko from silently becoming inconsistent	Bruno Schmitt	2017-03-06	2	-8/+18
*	Adding an procedure to write DIMACS.	Bruno Schmitt	2017-02-28	5	-3/+74
*	Small tweak to rollback behavior.	Bruno Schmitt	2017-02-21	3	-0/+8
*	Adding new command to reset Satoko.	Bruno Schmitt	2017-02-19	6	-9/+63
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	3	-1/+11
*	New function to retrieve polarity value of a variable.	Bruno Schmitt	2017-02-18	2	-1/+6
*	Bug fix in analyze_final method.	Bruno Schmitt	2017-02-18	1	-2/+2
*	Compiler warnings.	Alan Mishchenko	2017-02-18	1	-1/+1
*	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