iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-2/+3
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-0/+1
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	2	-4/+381
\|
*	Increasing the size of pre-allocated memory in &syn2.	Alan Mishchenko	2014-08-11	1	-1/+1
\|
*	Adding delay optimization to synthesis script &syn2.	Alan Mishchenko	2014-08-08	3	-4/+84
\|
*	Enabling cofactoring in the mapper.	Alan Mishchenko	2014-08-06	1	-0/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-08-04	2	-10/+12
\|
*	Profiling code for SOP/DSD/LMS balancing.	Alan Mishchenko	2014-08-02	1	-0/+308
\|
*	Adding support for standard-cell mapping.	Alan Mishchenko	2014-07-28	2	-10/+28
\|
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	2	-0/+59
\|
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-25	1	-0/+4
\|
*	Small changes.	Alan Mishchenko	2014-07-21	1	-29/+34
\|
*	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
\|