iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	2	-7/+1588
*	Added command &mux_profile.	Alan Mishchenko	2014-06-22	1	-65/+154
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	3	-1/+983
*	Added quick GIG parser.	Alan Mishchenko	2014-06-21	1	-8/+110
*	Experiments with cofactoring variables.	Alan Mishchenko	2014-06-20	2	-9/+51
*	New tools for profiling verification miters.	Alan Mishchenko	2014-06-20	4	-5/+148
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-1/+1
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	2	-0/+200
*	Experiments with MUX profiling.	Alan Mishchenko	2014-06-19	1	-16/+141
*	Experiments with CNF generation.	Alan Mishchenko	2014-06-18	1	-1/+4
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	4	-68/+66
*	Bug fix in CEC generation after rarity simulation and few small changes.	Alan Mishchenko	2014-06-16	1	-0/+1
*	Adding support of multi-output problems in &splitprove.	Alan Mishchenko	2014-06-15	1	-0/+81
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-0/+13
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	3	-1/+7
*	Adding more features to the synthesis script &syn2.	Alan Mishchenko	2014-06-14	2	-7/+18
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	3	-4/+5
*	Various modifications.	Alan Mishchenko	2014-06-13	1	-1/+2
*	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