iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added support for generating a library of real-life truth-tables.	Alan Mishchenko	2011-12-09	2	-0/+103
\|
*	Added recording of AIG subgraphs.	Alan Mishchenko	2011-12-06	1	-10/+9
\|
*	Experiments with variable permutation.	Alan Mishchenko	2011-11-06	1	-2/+2
\|
*	Experiments with variable permutation.	Alan Mishchenko	2011-11-06	1	-1/+55
\|
*	Removed some recently added file, which broke compilation.	Alan Mishchenko	2011-10-27	1	-1/+0
\|
*	New truth table permutation procedure.	Alan Mishchenko	2011-10-26	2	-0/+302
\|
*	Fixing built-in resource limit when converting truth-tables to AIGs.	Alan Mishchenko	2011-10-08	2	-1/+6
\|
*	Fixed the problem in mapping with the new check.	Alan Mishchenko	2011-06-26	3	-3/+3
\|
*	Added new procedure and other small changes.	Alan Mishchenko	2011-03-16	2	-0/+128
\|\
* \|	Several bug fixes and other improvements.	Alan Mishchenko	2011-03-12	1	-13/+14
\|/
*	initial commit of public abc	Alan Mishchenko	2010-11-01	16	-83/+1309
\|
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-2/+2
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	7	-106/+64
\|
*	Version abc90118	Alan Mishchenko	2009-01-18	3	-37/+230
\|
*	Version abc81029	Alan Mishchenko	2008-10-29	1	-1/+12
\|
*	Version abc80702	Alan Mishchenko	2008-07-02	5	-12/+24
\|
*	Version abc80429	Alan Mishchenko	2008-04-29	3	-0/+60
\|
*	Version abc80413	Alan Mishchenko	2008-04-13	3	-0/+315
\|
*	Version abc80402	Alan Mishchenko	2008-04-02	1	-2/+2
\|
*	Version abc80314	Alan Mishchenko	2008-03-14	2	-0/+59
\|
*	Version abc80307	Alan Mishchenko	2008-03-07	2	-40/+38
\|
*	Version abc80130_2	Alan Mishchenko	2008-01-30	15	-0/+8747
\|
*	Version abc80130	Alan Mishchenko	2008-01-30	15	-8747/+0
\|
*	Version abc71216	Alan Mishchenko	2007-12-16	1	-1/+1
\|
*	Version abc71001	Alan Mishchenko	2007-10-01	15	-0/+8747
\|
*	Version abc70930	Alan Mishchenko	2007-09-30	15	-8752/+0
\|
*	Version abc70926	Alan Mishchenko	2007-09-26	5	-33/+182
\|
*	Version abc70911	Alan Mishchenko	2007-09-11	1	-1/+1
\|
*	Version abc70909	Alan Mishchenko	2007-09-09	7	-27/+1929
\|
*	Version abc70906	Alan Mishchenko	2007-09-06	4	-31/+258
\|
*	Version abc70831	Alan Mishchenko	2007-08-31	2	-8/+81
\|
*	Version abc70723	Alan Mishchenko	2007-07-23	1	-0/+1
\|
*	Version abc70712	Alan Mishchenko	2007-07-12	11	-0/+6400