iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...	Alan Mishchenko	2012-03-09	1	-2/+2
\|
*	Added printout of BMC tents in &ps.	Alan Mishchenko	2012-02-19	1	-4/+4
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-2/+2
\|
*	Integrated new proof-logging into proof-based gate-level abstraction.	Alan Mishchenko	2011-12-08	1	-2/+6
\|
*	Making GLA PBA and GLA CBA communicate information.	Alan Mishchenko	2011-11-22	1	-2/+5
\|
*	Bug fix in GLA PBA.	Alan Mishchenko	2011-11-13	1	-1/+4
\|
*	Setting the number of completed time frames.	Alan Mishchenko	2011-11-12	1	-2/+11
\|
*	Enabled skipping random decisions in PBA, which are performed by default.	Alan Mishchenko	2011-11-12	1	-4/+4
\|
*	Improvements to the new abstraction code.	Alan Mishchenko	2011-10-27	1	-18/+59
\|
*	New proof-based abstraction code.	Alan Mishchenko	2011-10-25	1	-2/+38
\|
*	New abstraction code.	Alan Mishchenko	2011-10-19	1	-3/+3
\|
*	New abstraction code.	Alan Mishchenko	2011-10-19	1	-3/+3
\|
*	New abstraction code.	Alan Mishchenko	2011-10-15	1	-0/+36
\|
*	Initial changes to enable gate-level abstraction.	Alan Mishchenko	2011-09-22	1	-28/+2
\|
*	Added limit on the number of flops to add in one iteration of &abs_refine.	Alan Mishchenko	2011-09-12	1	-2/+2
\|
*	Added limit on the number of flops to add in one iteration of &abs_cba.	Alan Mishchenko	2011-09-11	1	-1/+16
\|
*	Added timeout to &abc_pba.	Alan Mishchenko	2011-09-02	1	-2/+2
\|
*	Bug fix in CBA and PBA.	Alan Mishchenko	2011-08-18	1	-2/+2
\|
*	Bug fix in CBA and PBA.	Alan Mishchenko	2011-08-17	1	-3/+4
\|
*	Bug fix in PBA.	Alan Mishchenko	2011-08-04	1	-14/+19
\|
*	Several bug fixes.	Alan Mishchenko	2011-08-02	1	-46/+65
\|
*	Bug fix in &abs_cba.	Alan Mishchenko	2011-08-01	1	-2/+1
\|
*	Improving and updating the abstraction code.	Alan Mishchenko	2011-07-29	1	-21/+53
\|
*	Added deriving abstraction in GIA from the precomputed flop map.	Alan Mishchenko	2011-07-29	1	-34/+6
\|
*	Improving and updating the abstraction code.	Alan Mishchenko	2011-07-29	1	-277/+82
\|
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	1	-2/+2
\| \| \| \|	numbers.
*	Improved the speed of refinement algorithm in &abs_refine.	Alan Mishchenko	2011-03-04	1	-3/+3
\|
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-2/+2
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-0/+553