iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-1/+1
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	5	-26/+34
\|
*	DSD manager.	Alan Mishchenko	2012-11-19	4	-6/+39
\|
*	DSD manager.	Alan Mishchenko	2012-11-13	4	-30/+136
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-2/+2
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-2/+5
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	2	-1/+20
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	3	-2/+81
\|
*	Performance bug fix in choice generation.	Alan Mishchenko	2012-11-09	1	-1/+1
\|
*	Slightly improved cut computation.	Alan Mishchenko	2012-11-06	1	-1/+85
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	1	-0/+2
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	2	-2/+2
\|
*	Move truth table code into a separte file.	Alan Mishchenko	2012-10-28	2	-261/+7
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	2	-11/+16
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	2	-0/+34
\|
*	Improvements to the truth table computation in 'if' package.	Alan Mishchenko	2012-10-26	4	-12/+454
\|
*	Added new API to traverse the cut in the mapper.	Alan Mishchenko	2012-10-25	3	-1/+55
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	2	-1/+2
\|
*	Making explicit cast to 64-bit unsigned in a few places.	Alan Mishchenko	2012-10-09	4	-14/+14
\|
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	2	-4/+3
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	1	-1/+1
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-20	1	-0/+4
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-15	2	-3/+21
\|
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	3	-3/+3
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	6	-11/+11
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	2	-2/+2
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	2	-2/+2
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	7	-10/+12
\|
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	1	-0/+204
\|
*	Misc changes.	Alan Mishchenko	2012-05-21	1	-1/+2
\|
*	Changing 'if' to allow for delay optimization on sequential paths only.	Alan Mishchenko	2012-05-20	2	-8/+9
\|
*	Changing 'if' to allow for delay optimization on sequential paths only.	Alan Mishchenko	2012-05-20	3	-12/+13
\|
*	Misc changes.	Alan Mishchenko	2012-05-03	1	-0/+2
\|
*	Adding on-the-fly truth-table minimization.	Alan Mishchenko	2012-04-28	4	-1/+22
\|
*	Misc changes.	Alan Mishchenko	2012-04-22	1	-2/+2
\|
*	Bug fix in SOP balancing with structural choices.	Alan Mishchenko	2012-04-12	1	-0/+2
\|
*	Enabling mapping into multi-input AND/OR gates.	Alan Mishchenko	2012-03-27	5	-14/+98
\|
*	Alternative way of computing delay in SOP balancing.	Alan Mishchenko	2012-03-16	3	-3/+161
\|
*	Experiment with technology mapping.	Alan Mishchenko	2012-02-22	1	-0/+13
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	2	-5/+5
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	6	-63/+52
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	6	-15/+15
\|
*	Changes to the lazy man's synthesis code.	Alan Mishchenko	2012-01-17	3	-7/+7
\|
*	Several small bug fixes in the mapper.	Alan Mishchenko	2012-01-15	2	-3/+6
\|
*	Changes to the lazy man's synthesis code.	Alan Mishchenko	2012-01-11	2	-1/+2
\|
*	Configuration changes in the Boolean matching code.	Alan Mishchenko	2012-01-05	1	-1/+1
\|
*	Delay optimization using precomputed library.	Alan Mishchenko	2011-12-29	2	-7/+19
\|
*	Added new switch to the LUT matching code.	Alan Mishchenko	2011-12-06	1	-13/+5
\|
*	Performance bug fix in SOP balancing.	Alan Mishchenko	2011-12-06	3	-31/+38
\|