iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding switch to stop scorr if refinement is too slow.	Alan Mishchenko	2022-04-24	1	-0/+1
\|
*	Experiments with word-level data structures.	Alan Mishchenko	2022-03-06	1	-0/+1
\|
*	Various changes.	Alan Mishchenko	2021-10-06	1	-0/+1
\|
*	Adding solver type in &sat.	Alan Mishchenko	2020-12-16	1	-0/+1
\|
*	Adding switch to replace proved outputs by const0.	Alan Mishchenko	2020-12-16	1	-1/+1
\|
*	Adding and integrating new SAT solver APIs.	Alan Mishchenko	2020-11-13	1	-0/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-10	1	-0/+3
\|
*	Adding &sat -x to save CEXes for multi-output combinational miters.	Alan Mishchenko	2018-05-06	1	-0/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-0/+1
\|
*	Adding new command 'dump_equiv'.	Alan Mishchenko	2016-07-21	1	-0/+1
\|
*	Adding new Python API 'is_func_iso'.	Alan Mishchenko	2015-07-11	1	-0/+1
\|
*	Several bug fixes and silencing requests.	Alan Mishchenko	2015-03-16	1	-1/+1
\|
*	Adding silent mode to &cec -m.	Alan Mishchenko	2015-03-15	1	-0/+1
\|
*	Naive (SAT-only) CEC option.	Alan Mishchenko	2014-10-10	1	-0/+1
\|
*	Enabling circuit solver in &fraig.	Alan Mishchenko	2014-08-12	1	-0/+1
\|
*	Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵	Alan Mishchenko	2012-10-25	1	-0/+1
\| \| \| \|	constant.
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+233