iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various modifications.	Alan Mishchenko	2014-06-12	7	-69/+77
\|
*	Enabling switching activity.	Alan Mishchenko	2014-06-12	1	-0/+1
\|
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	3	-9/+18
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+61
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	4	-3/+56
\|
*	Adding a feature to collapse hierarhical AIGs.	Alan Mishchenko	2014-06-05	1	-1/+6
\|
*	Correcting switching activity computation.	Alan Mishchenko	2014-06-05	2	-15/+11
\|
*	Fixed C-compiler errors on Windows.	Alan Mishchenko	2014-06-04	1	-7/+9
\|
*	the latest version	Jiang Long	2014-06-04	1	-111/+48
\|
*	merge unfold2	Jiang Long	2014-06-04	5	-1/+576
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-0/+95
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	3	-7/+12
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	2	-3/+3
\|
*	Code to explore cofactors of CEC problems.	Alan Mishchenko	2014-06-02	2	-6/+6
\|
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	2	-0/+48
\|
*	Experiment with new idea for ISO.	Alan Mishchenko	2014-05-21	2	-0/+236
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2014-05-10	1	-0/+3
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2014-05-06	1	-0/+2
\|
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	3	-0/+216
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	1	-0/+7
\|
*	Added optimization for average rather than maximum delay.	Alan Mishchenko	2014-04-19	1	-4/+0
\|
*	Added structural hashing by default after if -g and &if -g.	Alan Mishchenko	2014-04-19	1	-2/+3
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	2	-3/+20
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	1	-3/+27
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	1	-0/+2
\|
*	Adding print-out of average level.	Alan Mishchenko	2014-04-19	3	-3/+19
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	1	-1/+2
\|
*	Improvements to DSD in technology mapping.	Alan Mishchenko	2014-04-11	1	-1/+2
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	1	-4/+6
\|
*	Correcting internal check.	Alan Mishchenko	2014-04-11	1	-1/+2
\|
*	Removed obsolete code for sequential mapping.	Alan Mishchenko	2014-04-11	1	-1/+0
\|
*	Improvements to DSD in technology mapping.	Alan Mishchenko	2014-04-11	1	-2/+2
\|
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	2	-2/+2
\|
*	Improvement in SOP balancing.	Alan Mishchenko	2014-04-06	1	-54/+2
\|
*	Improvement in SOP balancing.	Alan Mishchenko	2014-04-06	1	-6/+11
\|
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	1	-4/+57
\|
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	1	-4/+6
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-1/+1
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-03	1	-1/+2
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-02	2	-4/+9
\|
*	Adding switch to handle only single faults.	Alan Mishchenko	2014-04-01	2	-3/+3
\|
*	Improving cut computation.	Alan Mishchenko	2014-03-30	3	-20/+4
\|
*	Experiments with technology mapping.	Alan Mishchenko	2014-03-29	2	-13/+213
\|
*	Bug in the old code.	Alan Mishchenko	2014-03-28	1	-23/+41
\|
*	Improving network visualization in show/&show.	Alan Mishchenko	2014-03-28	1	-1/+9
\|
*	Ternary simulation for multi-output miters.	Alan Mishchenko	2014-03-28	1	-0/+54
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-23	1	-1/+1
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-23	2	-16/+18
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-15/+21
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+17
\|