iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	5	-25/+40
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-7/+8
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	2	-6/+57
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-1/+1
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	4	-8/+109
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	3	-21/+37
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	2	-15/+22
\|
*	Improvements to truth table computation.	Alan Mishchenko	2013-09-30	2	-59/+74
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-29	8	-72/+578
\|
*	Updating logic extraction.	Alan Mishchenko	2013-09-29	1	-2/+3
\|
*	Updating logic extraction.	Alan Mishchenko	2013-09-29	1	-11/+58
\|
*	Changing default values.	Alan Mishchenko	2013-09-29	3	-3/+17
\|
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-1/+1
\|
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-1/+1
\|
*	Changing default values.	Alan Mishchenko	2013-09-28	2	-4/+10
\|
*	Changing default values.	Alan Mishchenko	2013-09-28	4	-29/+29
\|
*	Improving printouts in sharing extraction.	Alan Mishchenko	2013-09-28	6	-17/+25
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	4	-72/+110
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	6	-76/+622
\|
*	Checking decomposability of 5-input functions.	Alan Mishchenko	2013-09-28	1	-1/+157
\|
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	8	-17/+430
\|
*	Performance improvements in GIA package.	Alan Mishchenko	2013-09-27	4	-10/+43
\|
*	Generation of plain AIG after mapping.	Alan Mishchenko	2013-09-27	2	-1/+2
\|
*	Generation of plain AIG after mapping.	Alan Mishchenko	2013-09-27	7	-6/+319
\|
*	Bug fix.	Alan Mishchenko	2013-09-27	1	-1/+1
\|
*	Code to test AIG generation for DSD structures.	Alan Mishchenko	2013-09-27	1	-0/+31
\|
*	Changed printf to Abc_Print in giaMan.c	Niklas Een	2013-09-27	1	-44/+43
\|
*	Fixed a bug in Bridge mode	Niklas Een	2013-09-27	1	-2/+15
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-26	3	-276/+652
\|
*	Updates to the mapper.	Alan Mishchenko	2013-09-26	1	-2/+12
\|
*	Updates to the mapper.	Alan Mishchenko	2013-09-26	1	-3/+7
\|
*	Extending the mapper to handle up to 2^24 functional classes.	Alan Mishchenko	2013-09-25	1	-8/+8
\|
*	Compiler warnings.	Alan Mishchenko	2013-09-25	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-09-25	1	-2/+10
\|
*	Fixing the large MFFC problem.	Alan Mishchenko	2013-09-25	1	-8/+8
\|
*	Fixing the large MFFC problem.	Alan Mishchenko	2013-09-25	1	-7/+34
\|
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	2	-9/+79
\|
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	5	-6/+178
\|
*	Fixing printouts in 'bmc3'.	Alan Mishchenko	2013-09-25	1	-58/+58
\|
*	Changes to enable decomposition of non-DSD functions.	Alan Mishchenko	2013-09-25	6	-9/+179
\|
*	Changing switch -R <num> in &gla to mean the max allowed size of ↵	Alan Mishchenko	2013-09-23	3	-12/+25
\| \| \| \|	abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
*	Experiments with exact matching into LUT structures.	Alan Mishchenko	2013-09-23	3	-4/+121
\|
*	Adding API to return the mapped network.	Alan Mishchenko	2013-09-22	2	-3/+8
\|
*	Adding API to return the mapped network.	Alan Mishchenko	2013-09-22	2	-2/+160
\|
*	Adding resource limit to stop &gla when the number of remaining objects is ↵	Alan Mishchenko	2013-09-21	1	-1/+1
\| \| \| \|	less than R/2 during refinement.
*	Adding resource limit to stop &gla when the number of remaining objects is ↵	Alan Mishchenko	2013-09-21	1	-0/+8
\| \| \| \|	less than R/2 during refinement.
*	Buf fix in Liberty parser.	Alan Mishchenko	2013-09-19	1	-1/+1
\|
*	Added bridge integration for multi-output 'bmc3 -a'.	Alan Mishchenko	2013-09-17	1	-8/+5
\|
*	Added bridge integration for multi-output 'bmc3 -a'.	Alan Mishchenko	2013-09-17	3	-0/+14
\|
*	Integrating input driving cell constraint into buffering/sizing.	Alan Mishchenko	2013-09-17	4	-3/+26
\|