iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding new command to reset Satoko.	Bruno Schmitt	2017-02-19	1	-5/+43
\| \| \| \|	Small fixes in watching list data structure.
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-0/+9
\|
*	Compiler warnings.	Alan Mishchenko	2017-02-18	1	-5/+5
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-1/+3
\|
*	- Small changes to the watch lists behavior.	Bruno Schmitt	2017-02-15	1	-1/+55
\| \| \| \| \|	- Implementation of bookmark, unbookmark and rollback procedures. - Minor changes.
*	- Small bug fix in var activity (improve performance)	Bruno Schmitt	2017-02-14	1	-14/+9
\| \| \| \|	- New implementation of watcher lists.
*	Adding APIs to mark cones. Creating test-bench for incremental solving ↵	Alan Mishchenko	2017-02-11	1	-2/+25
\| \| \| \|	&satoko -i.
*	New implementation of a software floating point implementation (sdbl) for ↵	Bruno Schmitt	2017-02-11	1	-2/+4
\| \| \| \| \| \|	consistency across different platforms and compilers. Removing useless files and compile time options related to variable activity data type (it can only be sdbl).
*	New fixed point data type.	Bruno Schmitt	2017-02-10	1	-2/+9
\| \| \| \| \|	Expose all options to command line. Expose search statistics to users.
*	- Adding a compile time option to use floats for var activity (now it can be ↵	Bruno Schmitt	2017-02-09	1	-3/+4
\| \| \| \| \| \| \| \|	either ‘double’, ‘float’ or ‘unsigned’ (default)) - Adding vector of ‘float’ - Adding an option to configure the ratio of learnt clauses to be kept in clause database at each reduction (0 means no reduction). - Other small changes.
*	Small changes to support old compilers.	Bruno Schmitt	2017-02-06	1	-6/+6
\|
*	Adding a new SAT solver to ABC. (Satoko)	Bruno Schmitt	2017-02-06	1	-0/+310
	The command is ‘satoko’