iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding generation of combinational speculative miters.	Alan Mishchenko	2020-12-16	1	-4/+13
\|
*	Passing conflict limit to &cec.	Alan Mishchenko	2020-11-22	1	-1/+2
\|
*	Removing unused printouts.	Alan Mishchenko	2020-11-22	1	-2/+1
\|
*	Integration with several commands.	Alan Mishchenko	2020-11-19	1	-0/+44
\|
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-16	1	-12/+52
\|
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-16	1	-17/+43
\|
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-15	1	-36/+123
\|
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-15	1	-1/+1
\|
*	Sweeping up to a given level (bug fix).	Alan Mishchenko	2020-11-15	1	-2/+2
\|
*	Sweeping up to a given level.	Alan Mishchenko	2020-11-14	1	-1/+5
\|
*	Improvements to the SAT solver.	Alan Mishchenko	2020-11-14	1	-3/+3
\|
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-14	1	-0/+1
\|
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-14	1	-49/+76
\|
*	Upgrading the SAT solvers.	Alan Mishchenko	2020-11-14	1	-5/+7
\|
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-13	1	-161/+366
\|
*	Adding and integrating new SAT solver APIs.	Alan Mishchenko	2020-11-13	1	-30/+72
\|
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-12	1	-33/+69
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-11	1	-30/+43
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-10	1	-67/+209
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-09	1	-0/+1153