iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding new command &sopb for resource-aware SOP balancing.	Alan Mishchenko	2014-07-21	4	-1/+263
*	Updates and changes to several packages.	Alan Mishchenko	2014-07-20	7	-18/+31
*	Small changes in several packages.	Alan Mishchenko	2014-07-18	1	-1/+1
*	Small changes in several packages.	Alan Mishchenko	2014-07-17	1	-2/+3
*	Small changes in several packages.	Alan Mishchenko	2014-07-17	3	-3/+54
*	Improvements to profiling and printing statistics.	Alan Mishchenko	2014-07-09	2	-17/+98
*	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
*	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