iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Experiments with truth tables.	Alan Mishchenko	2019-11-19	1	-0/+74
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...	Alan Mishchenko	2019-03-05	2	-2/+2
*	Suggested white-space changes for fewer gcc warnings.	Alan Mishchenko	2019-03-04	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2017-07-22	1	-1/+1
*	Updating GIG parser.	Alan Mishchenko	2016-05-01	1	-1/+1
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	1	-1/+1
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	1	-1/+1
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	3	-1/+14
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2014-08-02	1	-0/+1
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	1	-3/+7
*	Improvement in SOP balancing.	Alan Mishchenko	2014-04-06	2	-1/+8
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	2	-0/+26
*	Improvements to DSD manager.	Alan Mishchenko	2014-04-02	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	2	-10/+10
*	New fast extract.	Alan Mishchenko	2013-05-05	1	-2/+2
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	1	-8/+8
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	1	-0/+2
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	2	-23/+70
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	2	-13/+13
*	Added new algorithm for NPN semi-canonical form computation.	Alan Mishchenko	2012-08-23	1	-2/+2
*	Adding command 'testdec'.	Alan Mishchenko	2012-07-28	2	-8/+93
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	6	-7/+7
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	4	-6/+6
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	18	-0/+11162