iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...	Alan Mishchenko	2016-01-14	1	-0/+2
*	New command %psinv.	Alan Mishchenko	2015-11-23	1	-0/+1
*	Improvements to DSD balancing.	Alan Mishchenko	2014-08-27	1	-0/+2
*	Cleanup and bug fixing in hierarchy handling.	Alan Mishchenko	2014-04-09	1	-1/+0
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-0/+3
*	Adding commands to set and print timing constraints.	Alan Mishchenko	2013-09-17	1	-0/+5
*	Added Python API status_get_vector() similar to cex_get_vector().	Alan Mishchenko	2013-09-04	1	-0/+1
*	Tuning standard-cell mapping flow.	Alan Mishchenko	2013-07-24	1	-0/+1
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	1	-0/+6
*	Adding command &filter_equiv to filter candidate equivalence classes using in...	Alan Mishchenko	2013-04-17	1	-0/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-03-04	1	-0/+2
*	Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ...	Alan Mishchenko	2013-01-25	1	-2/+1
*	Adding box library.	Alan Mishchenko	2012-12-10	1	-0/+2
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-4/+0
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-0/+4
*	Bug fix: abstraction commands not properly updating status when dumping inter...	Alan Mishchenko	2012-08-28	1	-2/+1
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-6/+6
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	1	-0/+1
*	Updating the counter of finished frames when dumping intermediate abstraction...	Alan Mishchenko	2012-04-27	1	-0/+1
*	Adding features related to the communication bridge.	Alan Mishchenko	2012-03-02	1	-0/+2
*	Isomorphism checking code.	Alan Mishchenko	2012-02-17	1	-1/+2
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-11/+10
*	Added API to access the CEX vector.	Alan Mishchenko	2011-08-02	1	-0/+1
*	Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFr...	Alan Mishchenko	2011-02-19	1	-1/+3
*	Added API Abc_FrameReadGia	Alan Mishchenko	2010-11-29	1	-0/+2
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-16/+30
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-19/+8
*	Version abc90118	Alan Mishchenko	2009-01-18	1	-4/+7
*	Version abc80918	Alan Mishchenko	2008-09-18	1	-0/+1
*	Version abc80717	Alan Mishchenko	2008-07-17	1	-4/+0
*	Version abc80516	Alan Mishchenko	2008-05-16	1	-38/+48
*	Version abc80508	Alan Mishchenko	2008-05-08	1	-1/+1
*	Version abc80130_2	Alan Mishchenko	2008-01-30	1	-16/+24
*	Version abc80130	Alan Mishchenko	2008-01-30	1	-24/+16
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+122
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-122/+0
*	Version abc70901	Alan Mishchenko	2007-09-01	1	-2/+2
*	Version abc60820	Alan Mishchenko	2006-08-20	1	-0/+2
*	Version abc60407	Alan Mishchenko	2006-04-07	1	-0/+1
*	Version abc60303	Alan Mishchenko	2006-03-03	1	-2/+10
*	Version abc60220	Alan Mishchenko	2006-02-20	1	-8/+1
*	Version abc60211	Alan Mishchenko	2006-02-11	1	-1/+1
*	Version abc51012	Alan Mishchenko	2005-10-12	1	-2/+2
*	Version abc50908	Alan Mishchenko	2005-09-08	1	-1/+5
*	Version abc50905	Alan Mishchenko	2005-09-05	1	-15/+16
*	Version abc50902	Alan Mishchenko	2005-09-02	1	-0/+3
*	Version abc50807	Alan Mishchenko	2005-08-07	1	-0/+1
*	Version abc50729	Alan Mishchenko	2005-07-29	1	-0/+109