iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-30/+193
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-15/+15
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	2	-9/+16
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	4	-349/+961
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-20	1	-6/+14
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+39
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	2	-0/+2
\|
*	Updating code to support barrier buffers.	Alan Mishchenko	2014-03-18	4	-0/+14
\|
*	Experiments with simulation.	Alan Mishchenko	2014-03-14	2	-5/+17
\|
*	Improvement to stats print-out in &ps.	Alan Mishchenko	2014-03-09	1	-0/+1
\|
*	Bug fix in creating packing after mapping.	Alan Mishchenko	2014-03-09	1	-3/+3
\|
*	Passing file name for stats print-out in &ps.	Alan Mishchenko	2014-03-09	3	-7/+6
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	1	-1/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	1	-1/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	1	-2/+2
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-06	1	-3/+3
\|