iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-1/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-1/+1
\|
*	Integrating box library.	Alan Mishchenko	2013-03-08	2	-0/+33
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	3	-11/+135
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	6	-15/+19
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-2/+2
\|
*	Fixing compilation problems on Linux-32 related to constants of type ↵	Alan Mishchenko	2013-01-30	5	-104/+104
\| \| \| \|	unsigned long long.
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+1
\|
*	Assembling timing/hierarchy manager from input data.	Alan Mishchenko	2012-12-13	1	-0/+1
\|
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-11	1	-1/+1
\|
*	Renaming If_Lut_t into If_LibLut_t.	Alan Mishchenko	2012-12-10	3	-46/+46
\|
*	Adding box library.	Alan Mishchenko	2012-12-10	5	-6/+653
\|
*	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
\|