iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Naive (SAT-only) CEC option.	Alan Mishchenko	2014-10-10	1	-2/+6
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-0/+2
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-0/+4
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	1	-3/+22
*	Deriving cell mapping with &if -kz.	Alan Mishchenko	2014-10-04	1	-1/+6
*	Deriving cell mapping with &if -kz.	Alan Mishchenko	2014-10-04	1	-1/+14
*	Adding switch -R to 'if'.	Alan Mishchenko	2014-10-02	1	-27/+39
*	Adding options to &flow.	Alan Mishchenko	2014-09-29	1	-4/+9
*	Adding options to &flow2.	Alan Mishchenko	2014-09-29	1	-4/+9
*	Adding options to &flow.	Alan Mishchenko	2014-09-29	1	-4/+9
*	Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).	Alan Mishchenko	2014-09-28	1	-10/+10
*	Added switch -t to &flow2.	Alan Mishchenko	2014-09-24	1	-4/+9
*	Enables dumping stats into a file.	Alan Mishchenko	2014-09-23	1	-1/+1
*	Extending &cec to take a single-output miter (usage of switch -d has changed!).	Alan Mishchenko	2014-09-23	1	-10/+24
*	Adding switch to enable SOP balancing in '&flow2'.	Alan Mishchenko	2014-09-21	1	-4/+9
*	Synchronizing packages.	Alan Mishchenko	2014-09-20	1	-4/+4
*	Updating command 'dsd_clean'.	Alan Mishchenko	2014-09-20	1	-7/+29
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-17/+75
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	1	-22/+20
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	1	-4/+4
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-18	1	-14/+28
*	Improving DSD manager.	Alan Mishchenko	2014-09-18	1	-6/+20
*	Concurrency for Boolean matching.	Alan Mishchenko	2014-09-18	1	-11/+45
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-17	1	-4/+29
*	New choice computation.	Alan Mishchenko	2014-09-16	1	-10/+65
*	Code restructuring.	Alan Mishchenko	2014-09-16	1	-0/+49
*	Bug fix in transferring timing info.	Alan Mishchenko	2014-09-09	1	-5/+5
*	Added command 'move_names'.	Alan Mishchenko	2014-08-28	1	-1/+1
*	Added command 'move_names'.	Alan Mishchenko	2014-08-28	1	-0/+79
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-28	1	-0/+1
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	1	-1/+1
*	Tuning LUT mapping flow.	Alan Mishchenko	2014-08-27	1	-0/+135
*	Improvements BLIF parser.	Alan Mishchenko	2014-08-27	1	-2/+2
*	Improvements to DSD balancing.	Alan Mishchenko	2014-08-27	1	-36/+96
*	Adding commands to save/load best network.	Alan Mishchenko	2014-08-26	1	-7/+162
*	Improving GIA interfaces for some procedures.	Alan Mishchenko	2014-08-25	1	-1/+1
*	Correcting incorrect handling of timing in several &-commands.	Alan Mishchenko	2014-08-25	1	-0/+116
*	Propagating timing support to the new synthesis/mapping commands.	Alan Mishchenko	2014-08-20	1	-7/+7
*	Extended command &cone to extract timing critical cones.	Alan Mishchenko	2014-08-19	1	-13/+51
*	Added command 'sparsify' to derive ISF from CSF.	Alan Mishchenko	2014-08-18	1	-0/+82
*	Changing default CNF generation in &bmc.	Alan Mishchenko	2014-08-18	1	-1/+1
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-1/+1
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-0/+54
*	Enabling circuit solver in &fraig.	Alan Mishchenko	2014-08-12	1	-2/+6
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-2/+2
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-2/+2
*	Adding delay optimization to synthesis script &syn2.	Alan Mishchenko	2014-08-08	1	-15/+30
*	Enabling cofactoring in the mapper.	Alan Mishchenko	2014-08-06	1	-2/+22
*	Adding support for standard-cell mapping.	Alan Mishchenko	2014-07-28	1	-0/+5
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	1	-0/+189