iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2020-12-21	1	-2/+2
\|
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵	Alan Mishchenko	2019-03-05	7	-12/+12
\| \| \| \|	memcpy, etc.
*	Small fix in satoko.	Bruno Schmitt	2018-02-20	2	-3/+1
\|
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-25	3	-1/+5
\|
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-23	1	-1/+7
\|
*	Adding global conflict counter to Satoko (to make it apple-to-apple with ↵	Alan Mishchenko	2017-09-06	3	-1/+5
\| \| \| \|	other solvers).
*	Small bug in a recently added Satoko API.	Alan Mishchenko	2017-09-06	1	-1/+1
\|
*	Adding minimize_assumptions to Satoko.	Alan Mishchenko	2017-09-03	2	-2/+57
\|
*	Change in Satoko to make assumption var values appear in satisfiable ↵	Alan Mishchenko	2017-09-03	1	-0/+1
\| \| \| \|	assignments produced.
*	Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵	Bruno Schmitt	2017-08-29	4	-77/+113
\| \| \| \|	used in other packages
*	[Satoko] Small fix.	Bruno Schmitt	2017-08-28	1	-4/+8
\|
*	[Satoko] Correcting bug found when integrating with pdr.	Bruno Schmitt	2017-08-28	4	-21/+102
\| \| \| \| \| \|	The head of the propagation queue was not begin properly reset. Adding some debugging functions.
*	Additional changes to Satoko to enable various integrations.	Alan Mishchenko	2017-08-16	4	-22/+44
\|
*	Added several helpful APIs to Satoko.	Alan Mishchenko	2017-08-15	3	-0/+33
\|
*	Renaming several Satoko APIs to avoid collision with MiniSAT.	Alan Mishchenko	2017-08-13	4	-29/+29
\|
*	Adding a callback feature to Satoko.	Alan Mishchenko	2017-08-13	3	-2/+13
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-12	1	-0/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-1/+1
\|
*	Several bug fixed / small changes in Satoko.	Alan Mishchenko	2017-03-18	3	-4/+6
\|
*	Merged in msoeken/abc-exact (pull request #66)	Alan Mishchenko	2017-03-06	1	-1/+1
\|\ \| \| \| \| \| \|	Fixes in exact synthesis and small fix in xsat and satoko.
\| *	Fix wrong type cast.	Mathias Soeken	2017-03-06	1	-1/+1
\| \|
* \|	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
\| \| \| \|	Fixing small bugs.
*	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
\| \| \| \|	Small fixes in watching list data structure.
*	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
\| \| \| \| \|	- Implementation of bookmark, unbookmark and rollback procedures. - Minor changes.
*	- Small bug fix in var activity (improve performance)	Bruno Schmitt	2017-02-14	4	-56/+55
\| \| \| \|	- New implementation of watcher lists.
*	Adding APIs to mark cones. Creating test-bench for incremental solving ↵	Alan Mishchenko	2017-02-11	4	-4/+64
\| \| \| \|	&satoko -i.
*	New implementation of a software floating point implementation (sdbl) for ↵	Bruno Schmitt	2017-02-11	11	-469/+412
\| \| \| \| \| \|	consistency across different platforms and compilers. Removing useless files and compile time options related to variable activity data type (it can only be sdbl).
*	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
\| \| \| \| \|	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	8	-34/+300
\| \| \| \| \| \| \| \|	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 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
	The command is ‘satoko’