iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding solver type in &sat.	Alan Mishchenko	2020-12-16	1	-1/+5
\|
*	Adding switch to replace proved outputs by const0.	Alan Mishchenko	2020-12-16	1	-4/+4
\|
*	Corner case bug fix in &cec.	Alan Mishchenko	2020-12-02	1	-2/+2
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-09	1	-0/+5
\|
*	Deleting unused info left by the SAT sweeper.	Alan Mishchenko	2020-09-10	1	-0/+2
\|
*	Adding switch &cec -w to print SAT solver stats.	Alan Mishchenko	2020-09-06	1	-1/+1
\|
*	Making &cec use precomputed simulation info.	Alan Mishchenko	2020-08-12	1	-3/+8
\|
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-2/+2
\|
*	Adding &sat -x to save CEXes for multi-output combinational miters.	Alan Mishchenko	2018-05-06	1	-0/+2
\|
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-1/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-0/+1
\|
*	Adding new command 'dump_equiv'.	Alan Mishchenko	2016-07-21	1	-2/+8
\|
*	Several bug fixes and silencing requests.	Alan Mishchenko	2015-03-16	1	-3/+4
\|
*	Enabling circuit solver in &fraig.	Alan Mishchenko	2014-08-12	1	-1/+4
\|
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-1/+1
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-15/+15
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+2
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	1	-1/+1
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-4/+5
\|
*	Added printout of BMC tents in &ps.	Alan Mishchenko	2012-02-19	1	-1/+1
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+542