iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Removed obsolete code for sequential mapping.	Alan Mishchenko	2014-04-11	1	-11/+6
*	Improvements to DSD in technology mapping.	Alan Mishchenko	2014-04-11	1	-8/+6
*	Implementation of DSD balancing.	Alan Mishchenko	2014-04-06	1	-3/+7
*	Improvement in SOP balancing.	Alan Mishchenko	2014-04-06	1	-6/+4
*	Improvement in SOP balancing.	Alan Mishchenko	2014-04-06	1	-4/+4
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	1	-0/+2
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	1	-25/+23
*	Performance bug fix in SOP balancing.	Alan Mishchenko	2014-04-05	1	-4/+1
*	Tuning LUT mapping to work while saving the best network.	Alan Mishchenko	2014-04-04	1	-3/+3
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-1/+1
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-1/+1
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-9/+10
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-2/+5
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-5/+6
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-1/+1
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-50/+22
*	Improving cut computation.	Alan Mishchenko	2014-03-30	1	-1/+1
*	Improving cut computation.	Alan Mishchenko	2014-03-30	1	-52/+17
*	Updating &if for new cut function representation.	Alan Mishchenko	2014-03-29	1	-1/+5
*	Experiments with cut caching.	Alan Mishchenko	2014-03-20	1	-0/+2
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	1	-1/+1
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	1	-1/+0
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-25/+32
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-0/+33
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	1	-7/+19
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	1	-2/+20
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	1	-1/+1
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-32/+1
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-24/+24
*	Removing unused LMS code.	Alan Mishchenko	2014-02-16	1	-18/+3
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	1	-41/+34
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-0/+6
*	Removing some old useless code.	Alan Mishchenko	2013-09-02	1	-39/+0
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	1	-4/+4
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	1	-1/+14
*	Adding code to count statistics about decomposable LUT5.	Alan Mishchenko	2013-08-18	1	-0/+10
*	Commenting out assertion related to choices in 'if'.	Alan Mishchenko	2013-07-16	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-4/+4
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-2/+2
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-1/+1
*	DSD manager.	Alan Mishchenko	2012-11-20	1	-24/+28
*	DSD manager.	Alan Mishchenko	2012-11-19	1	-0/+19
*	DSD manager.	Alan Mishchenko	2012-11-13	1	-1/+2
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-2/+2
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-1/+56
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	1	-0/+2
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	1	-10/+12
*	Improvements to the truth table computation in 'if' package.	Alan Mishchenko	2012-10-26	1	-1/+3
*	Added new API to traverse the cut in the mapper.	Alan Mishchenko	2012-10-25	1	-1/+3
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-15	1	-2/+16