iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	5	-265/+468
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	6	-37/+190
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	5	-36/+340
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	4	-34/+265
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	1	-5/+3
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	3	-6/+10
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-19	3	-135/+239
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	8	-51/+819
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	4	-40/+35
*	Removing unused LMS code.	Alan Mishchenko	2014-02-16	2	-30/+3
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	9	-753/+201
*	Explanation for one assetion.	Alan Mishchenko	2013-11-26	1	-1/+1
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+1
*	Compiler warnings.	Alan Mishchenko	2013-10-30	2	-2/+2
*	Compiler warnings.	Alan Mishchenko	2013-10-30	3	-6/+6
*	Extending truth table support in &jf for more than 6 inputs.	Alan Mishchenko	2013-10-10	1	-1/+1
*	Preventing a bug in &if -z.	Alan Mishchenko	2013-10-09	1	-1/+1
*	Compiler warning.	Alan Mishchenko	2013-10-05	1	-2/+2
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-2/+2
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-46/+250
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-1/+1
*	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