iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding switch to enable SOP balancing in '&flow2'.	Alan Mishchenko	2014-09-21	1	-10/+21
\|
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-1/+1
\|
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-5/+69
\|
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-124/+173
\|
*	Concurrency for Boolean matching.	Alan Mishchenko	2014-09-18	1	-2/+10
\|
*	Spurious assertion.	Alan Mishchenko	2014-09-17	1	-1/+1
\|
*	New choice computation.	Alan Mishchenko	2014-09-16	1	-3/+123
\|
*	Code restructuring.	Alan Mishchenko	2014-09-16	5	-316/+373
\|
*	Updating timing info during normalization.	Alan Mishchenko	2014-09-10	1	-1/+1
\|
*	Updating timing info during normalization.	Alan Mishchenko	2014-09-10	1	-1/+3
\|
*	Bug fix in transferring timing info.	Alan Mishchenko	2014-09-09	1	-1/+1
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-28	1	-1/+4
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	1	-3/+5
\|
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	1	-0/+119
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-08-27	2	-6/+6
\|
*	Adding commands to save/load best network.	Alan Mishchenko	2014-08-26	4	-2/+176
\|
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	2	-7/+5
\|
*	Improving GIA interfaces for some procedures.	Alan Mishchenko	2014-08-25	7	-53/+69
\|
*	Correcting incorrect handling of timing in several &-commands.	Alan Mishchenko	2014-08-25	5	-43/+55
\|
*	Improving print-out of 'dsd -p'.	Alan Mishchenko	2014-08-22	1	-0/+35
\|
*	Propagating timing support to the new synthesis/mapping commands.	Alan Mishchenko	2014-08-20	6	-32/+25
\|
*	Extended command &cone to extract timing critical cones.	Alan Mishchenko	2014-08-19	2	-26/+90
\|
*	Changing default CNF generation in &bmc.	Alan Mishchenko	2014-08-18	1	-0/+6
\|
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-1/+1
\|
*	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
\|
*	Compiler warnings.	Alan Mishchenko	2014-08-02	1	-1/+1
\|
*	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
\|