iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Small changes to printouts in &bmcs.	Alan Mishchenko	2017-08-30	1	-2/+2
\|
*	Small changes to printouts in &bmcs.	Alan Mishchenko	2017-08-30	1	-2/+4
\|
*	Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵	Bruno Schmitt	2017-08-29	10	-119/+149
\| \| \| \|	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.
*	Adding runtime profile to &bmcs.	Alan Mishchenko	2017-08-16	1	-1/+26
\|
*	Bug fix in &bmcs.	Alan Mishchenko	2017-08-16	1	-3/+3
\|
*	Adding an option to bmc3 to use Satoko intead of the default SAT solver.	Alan Mishchenko	2017-08-16	1	-1/+1
\|
*	Bug fix in &bmcs.	Alan Mishchenko	2017-08-16	1	-0/+5
\|
*	Bug fix in &bmcs.	Alan Mishchenko	2017-08-16	1	-3/+5
\|
*	Changing enconding of the SAT solver return value in &bmcs.	Alan Mishchenko	2017-08-16	1	-7/+8
\|
*	Integrating Satoko into 'bmc' and 'bmc2'.	Alan Mishchenko	2017-08-16	3	-50/+147
\|
*	Adding an option to bmc3 to use Satoko intead of the default SAT solver.	Alan Mishchenko	2017-08-16	1	-34/+35
\|
*	Changing enconding of the SAT solver return value in &bmcs.	Alan Mishchenko	2017-08-16	1	-5/+11
\|
*	Additional changes to Satoko to enable various integrations.	Alan Mishchenko	2017-08-16	4	-22/+44
\|
*	Trying &bmcs with external solvers.	Alan Mishchenko	2017-08-15	1	-20/+28
\|
*	Trying &bmcs with external solvers.	Alan Mishchenko	2017-08-15	1	-38/+54
\|
*	Added several helpful APIs to Satoko.	Alan Mishchenko	2017-08-15	3	-0/+33
\|
*	Unfold several timeframes at the same time in &bmcs.	Alan Mishchenko	2017-08-15	1	-88/+103
\|
*	Bug fix in &bmcs.	Alan Mishchenko	2017-08-15	1	-8/+15
\|
*	Adding an option to bmc3 to use Satoko intead of the default SAT solver.	Alan Mishchenko	2017-08-13	4	-47/+124
\|
*	Renaming several Satoko APIs to avoid collision with MiniSAT.	Alan Mishchenko	2017-08-13	4	-29/+29
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	1	-47/+31
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	1	-0/+1
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-13	2	-40/+295
\|
*	Adding a callback feature to Satoko.	Alan Mishchenko	2017-08-13	3	-2/+13
\|
*	add frame done callback support for command &bmcs	Baruch Sterin	2017-08-09	2	-0/+9
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-09	1	-2/+423
\|
*	Compiler warnings.	Alan Mishchenko	2017-07-22	1	-2/+2
\|
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+185
\|
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+1
\|
*	Compiler warnings.	Alan Mishchenko	2017-04-28	1	-3/+3
\|
*	Compiler warnings.	Alan Mishchenko	2017-04-28	1	-3/+3
\|
*	Compiler warnings.	Alan Mishchenko	2017-04-28	1	-3/+3
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-12	1	-0/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-1/+1
\|
*	Experiments with hashing.	Alan Mishchenko	2017-04-11	2	-0/+6
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-04	2	-0/+15
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-02	3	-7/+7
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-28	1	-1/+1
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	2	-17/+18
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-23	1	-1/+1
\|
*	added callbacks to bmc3 and sat solver	Yen-Sheng Ho	2017-03-20	3	-0/+8
\|
*	merge	Yen-Sheng Ho	2017-03-19	4	-6/+9
\|\
\| *	Several bug fixed / small changes in Satoko.	Alan Mishchenko	2017-03-18	4	-6/+9
\| \|
* \|	%pdra: working on bmc3	Yen-Sheng Ho	2017-03-19	2	-0/+8
\|/
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	2	-9/+9
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	3	-8/+474
\|
*	Synthesis for mesh of LUTs.	Alan Mishchenko	2017-03-17	1	-1/+1
\|