iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disabling CNF simplification in &bmcs -g.	Alan Mishchenko	2017-09-07	1	-0/+2
\|
*	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	1	-8/+7
\| \| \| \|	used in other packages
*	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
\|
*	Changing enconding of the SAT solver return value in &bmcs.	Alan Mishchenko	2017-08-16	1	-5/+11
\|
*	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
\|
*	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
\|
*	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	1	-40/+294
\|
*	add frame done callback support for command &bmcs	Baruch Sterin	2017-08-09	1	-0/+7
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-09	1	-2/+423
\|
*	Experiments with BMC.	Alan Mishchenko	2017-07-22	1	-0/+185