iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New MFS package.	Alan Mishchenko	2013-05-31	6	-13/+65
\|
*	New MFS package.	Alan Mishchenko	2013-05-30	4	-57/+32
\|
*	New MFS package.	Alan Mishchenko	2013-05-30	6	-65/+183
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	60	-485/+485
\|
*	Several small changes to the MFS packages.	Alan Mishchenko	2013-05-27	8	-17/+21
\|
*	Added switch -M to set max size of two-cube divisors to extract (often helps ↵	Alan Mishchenko	2013-05-27	2	-6/+7
\| \| \| \|	both runtime and quality).
*	New MFS package.	Alan Mishchenko	2013-05-27	1	-1/+1
\|
*	New MFS package.	Alan Mishchenko	2013-05-27	2	-6/+9
\|
*	New MFS package.	Alan Mishchenko	2013-05-26	3	-10/+28
\|
*	New MFS package.	Alan Mishchenko	2013-05-26	7	-62/+70
\|
*	New command 'putontop' to concatenate networks for don't-care-based ↵	Alan Mishchenko	2013-05-25	1	-0/+1
\| \| \| \|	optimization.
*	New MFS package.	Alan Mishchenko	2013-05-25	10	-106/+99
\|
*	New MFS package.	Alan Mishchenko	2013-05-25	10	-115/+88
\|
*	New MFS package.	Alan Mishchenko	2013-05-25	4	-10/+22
\|
*	New MFS package.	Alan Mishchenko	2013-05-25	8	-28/+43
\|
*	New MFS package.	Alan Mishchenko	2013-05-24	7	-63/+87
\|
*	New MFS package.	Alan Mishchenko	2013-05-24	8	-178/+584
\|
*	New MFS package.	Alan Mishchenko	2013-05-23	5	-124/+331
\|
*	g++ warnings.	Alan Mishchenko	2013-05-19	1	-1/+1
\|
*	New MFS package.	Alan Mishchenko	2013-05-12	9	-215/+586
\|
*	Typo in the comment.	Alan Mishchenko	2013-05-09	2	-4/+4
\|
*	New fast extract.	Alan Mishchenko	2013-05-05	3	-5/+5
\|
*	Typo in the comments.	Alan Mishchenko	2013-04-19	1	-1/+1
\|
*	Typo in the comments.	Alan Mishchenko	2013-04-19	1	-5/+5
\|
*	Compiler warning.	Alan Mishchenko	2013-04-17	1	-1/+0
\|
*	New MFS package.	Alan Mishchenko	2013-04-03	1	-2/+2
\|
*	New MFS package.	Alan Mishchenko	2013-04-03	1	-3/+3
\|
*	New MFS package.	Alan Mishchenko	2013-04-03	4	-8/+145
\|
*	New MFS package.	Alan Mishchenko	2013-04-02	8	-0/+509
\|
*	Compiler warnings.	Alan Mishchenko	2013-03-31	1	-1/+1
\|
*	Fixing the dump of SAT solver into a CNF file.	Alan Mishchenko	2013-03-26	1	-2/+12
\|
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	3	-4/+1
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-1/+1
\|
*	Fixing compilation problems on Linux-32 related to constants of type ↵	Alan Mishchenko	2013-01-30	2	-6/+6
\| \| \| \|	unsigned long long.
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-0/+3
\|
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-2/+2
\|
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+1
\|
*	Technology mapper.	Alan Mishchenko	2013-01-08	1	-7/+105
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-15	2	-48/+175
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-11	2	-43/+78
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-10	1	-19/+21
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-10	1	-185/+93
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-10	1	-134/+46
\|
*	Renaming If_Lut_t into If_LibLut_t.	Alan Mishchenko	2012-12-10	6	-13/+13
\|
*	DSD manager.	Alan Mishchenko	2012-12-02	1	-0/+236
\|
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-2/+2
\|
*	Enabling additional stat printouts.	Alan Mishchenko	2012-12-01	1	-2/+3
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	4	-126/+418
\|
*	DSD manager.	Alan Mishchenko	2012-11-19	2	-18/+471
\|
*	DSD manager.	Alan Mishchenko	2012-11-16	1	-45/+194
\|