iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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	7	-76/+626
\|
*	Checking decomposability of 5-input functions.	Alan Mishchenko	2013-09-28	1	-1/+157
\|
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	9	-17/+434
\|
*	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	8	-6/+323
\|
*	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	4	-281/+653
\|
*	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	6	-6/+182
\|
*	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
\|
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	6	-65/+91
\|
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	1	-1/+1
\|
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	6	-22/+62
\|
*	Adding commands to set and print timing constraints.	Alan Mishchenko	2013-09-17	8	-38/+217
\|
*	Compiler warning about unused variable.	Alan Mishchenko	2013-09-17	1	-2/+2
\|
*	Unifying standard cell library representations.	Alan Mishchenko	2013-09-17	13	-105/+316
\|
*	Changing dynamic CNF loading code to perform loading before propagate() as ↵	Alan Mishchenko	2013-09-16	1	-0/+31
\| \| \| \|	opposed to when the literal first implied in enqueue().
*	Adding switch to enable reuse of proof-obligations in the last timeframe.	Alan Mishchenko	2013-09-16	3	-2/+7
\|
*	Adding new switch to &if to relax the delay.	Alan Mishchenko	2013-09-16	3	-9/+31
\|
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	1	-1/+1
\|
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	2	-6/+3
\|
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	5	-13/+44
\|
*	Bug fix in PDR.	Alan Mishchenko	2013-09-16	1	-1/+1
\|
*	Bug fix in XOR balancing.	Alan Mishchenko	2013-09-15	1	-4/+3
\|
*	Infrastructure to support full Liberty format and unitification of library ↵	Alan Mishchenko	2013-09-15	1	-4/+4
\| \| \| \|	representations.