iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	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
*	Bug fix in gate sizing.	Alan Mishchenko	2013-06-16	1	-1/+1
*	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	26	-149/+149
*	New MFS package.	Alan Mishchenko	2013-05-26	1	-1/+1
*	New MFS package.	Alan Mishchenko	2013-05-24	1	-4/+4
*	Changing the queue to work in the same the array of costs is realloced.	Alan Mishchenko	2013-05-05	1	-2/+2
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-1/+2
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-1/+1
*	Modified SCL gate library to read/write gate formula.	Alan Mishchenko	2013-03-26	6	-15/+159
*	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 and other small changes.	Alan Mishchenko	2013-02-27	1	-1/+0
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-2/+2
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	8	-114/+114
*	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
*	Removed useless code from the sizing package.	Alan Mishchenko	2012-12-04	4	-524/+2
*	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
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	1	-0/+2
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	2	-2/+2
*	Move truth table code into a separte file.	Alan Mishchenko	2012-10-28	2	-261/+7
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	2	-11/+16
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	2	-0/+34
*	Improvements to the truth table computation in 'if' package.	Alan Mishchenko	2012-10-26	4	-12/+454
*	Enables printout of fanout count in critical path.	Alan Mishchenko	2012-10-26	1	-0/+1
*	Added new API to traverse the cut in the mapper.	Alan Mishchenko	2012-10-25	3	-1/+55
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	2	-1/+2
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	3	-41/+46
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	6	-162/+220
*	Improvements to gate-sizing.	Alan Mishchenko	2012-10-09	1	-2/+4
*	Improvements to gate-sizing.	Alan Mishchenko	2012-10-09	3	-9/+27
*	Improvements to gate sizing (bug fix).	Alan Mishchenko	2012-10-09	1	-4/+6
*	Improvements to gate sizing (bug fix).	Alan Mishchenko	2012-10-09	1	-1/+2
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	1	-2/+2