iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to false path detection.	Alan Mishchenko	2014-07-09	1	-25/+21
\|
*	Improvements to false path detection.	Alan Mishchenko	2014-07-08	3	-27/+351
\|
*	Experiment with SOP balancing.	Alan Mishchenko	2014-07-02	1	-1/+20
\|
*	Compiler warning.	Alan Mishchenko	2014-07-01	1	-1/+1
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	11	-60/+105
\|
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-28	3	-1/+60
\|
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-26	1	-14/+35
\|
*	Improvements to power-aware mapping.	Alan Mishchenko	2014-06-23	4	-7/+34
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-0/+9
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	2	-5/+3
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-1/+1
\|
*	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
\|
*	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
\|