iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2017-07-22	1	-1/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-1/+0
\|
*	Compiler warning.	Alan Mishchenko	2013-10-05	1	-2/+2
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-2/+2
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-46/+250
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-1/+1
\|
*	Checking decomposability of 5-input functions.	Alan Mishchenko	2013-09-28	1	-1/+157
\|
*	Experiments with exact matching into LUT structures.	Alan Mishchenko	2013-09-23	1	-0/+48
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+2
\|
*	Fixing compilation problems on Linux-32 related to constants of type ↵	Alan Mishchenko	2013-01-30	1	-24/+24
\| \| \| \|	unsigned long long.
*	Making explicit cast to 64-bit unsigned in a few places.	Alan Mishchenko	2012-10-09	1	-2/+2
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-15/+15
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-2/+2
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-02	1	-1/+1
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-01	1	-4/+5
\|
*	64-bit portability changes.	Alan Mishchenko	2011-09-17	1	-0/+2
\|
*	Added another specialized check to the mapper.	Alan Mishchenko	2011-06-27	1	-0/+713