iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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