iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Data reading procedure.	Alan Mishchenko	2019-11-20	1	-0/+48
\|
*	Experiments with truth tables.	Alan Mishchenko	2019-11-19	1	-0/+30
\|
*	Disjoint-support decomposition with cofactoring and boolean difference analysis	Vinicius Callegaro	2016-11-08	1	-1/+21
\| \| \| \| \|	from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
*	Bug fix in truth table reading for funcs with less than 6 vars.	Alan Mishchenko	2016-03-28	1	-1/+1
\|
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-5/+5
\|
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-4/+6
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	1	-0/+3
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	1	-3/+6
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-1/+14
\|
*	New technology mapper.	Alan Mishchenko	2013-07-14	1	-1/+6
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-2/+2
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	1	-1/+1
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-10/+6
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-2/+2
\|
*	Tentatively integrated new DSD.	Alan Mishchenko	2012-10-29	1	-1/+21
\|
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	1	-5/+7
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	1	-1/+2
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	1	-2/+4
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	1	-34/+85
\|
*	Several improvements to command 'testnpn'.	Alan Mishchenko	2012-08-25	1	-9/+7
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-09	1	-7/+7
\|
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	1	-12/+35
\|
*	Fixed compiler warnings.	Alan Mishchenko	2012-07-29	1	-2/+2
\|
*	Adding command 'testdec'.	Alan Mishchenko	2012-07-28	1	-4/+465
\|
*	Started implementing command 'testdec'.	Alan Mishchenko	2012-07-28	1	-0/+66