iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Changes in specialized matching.	Alan Mishchenko	2013-10-01	2	-5/+4
\|
*	Changes in specialized matching.	Alan Mishchenko	2013-10-01	1	-19/+27
\|
*	Checking decomposability of 5-input functions.	Alan Mishchenko	2013-09-28	1	-1/+157
\|
*	Experiments with exact matching into LUT structures.	Alan Mishchenko	2013-09-23	2	-0/+49
\|
*	Adding new switch to &if to relax the delay.	Alan Mishchenko	2013-09-16	2	-7/+17
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-0/+36
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-1/+1
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-0/+6
\|
*	Removing some old useless code.	Alan Mishchenko	2013-09-02	3	-60/+4
\|
*	Removing some old useless code.	Alan Mishchenko	2013-09-02	2	-16/+15
\|
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	2	-4/+29
\|
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	2	-2/+16
\|
*	Adding code to count statistics about decomposable LUT5.	Alan Mishchenko	2013-08-18	3	-0/+12
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-2/+4
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-13	1	-6/+6
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-1/+0
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	6	-1/+477
\|
*	Temprary changes.	Alan Mishchenko	2013-07-18	1	-0/+49
\|
*	Commenting out assertion related to choices in 'if'.	Alan Mishchenko	2013-07-16	1	-1/+1
\|
*	New technology mapper.	Alan Mishchenko	2013-07-12	1	-880/+0
\|
*	Precomputing DSD functions.	Alan Mishchenko	2013-07-11	1	-10/+73
\|
*	Precomputing DSD functions.	Alan Mishchenko	2013-07-11	1	-31/+423
\|
*	Saving delay information after mapping.	Alan Mishchenko	2013-06-26	2	-0/+2
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	1	-0/+1
\|
*	New features to debug an test tech-mapping with choices.	Alan Mishchenko	2013-06-24	2	-0/+602
\|
*	New DSD detection code.	Alan Mishchenko	2013-05-30	1	-0/+425
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	8	-33/+33
\|
*	New MFS package.	Alan Mishchenko	2013-05-26	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-1/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-1/+1
\|
*	Integrating box library.	Alan Mishchenko	2013-03-08	2	-0/+33
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	3	-11/+135
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	6	-15/+19
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-2/+2
\|
*	Fixing compilation problems on Linux-32 related to constants of type ↵	Alan Mishchenko	2013-01-30	5	-104/+104
\| \| \| \|	unsigned long long.
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+1
\|
*	Assembling timing/hierarchy manager from input data.	Alan Mishchenko	2012-12-13	1	-0/+1
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-11	1	-1/+1
\|
*	Renaming If_Lut_t into If_LibLut_t.	Alan Mishchenko	2012-12-10	3	-46/+46
\|
*	Adding box library.	Alan Mishchenko	2012-12-10	5	-6/+653
\|
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-1/+1
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	5	-26/+34
\|
*	DSD manager.	Alan Mishchenko	2012-11-19	4	-6/+39
\|
*	DSD manager.	Alan Mishchenko	2012-11-13	4	-30/+136
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-2/+2
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-2/+5
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	2	-1/+20
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	3	-2/+81
\|
*	Performance bug fix in choice generation.	Alan Mishchenko	2012-11-09	1	-1/+1
\|
*	Slightly improved cut computation.	Alan Mishchenko	2012-11-06	1	-1/+85
\|