iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	20	-451/+465
\|
*	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-36/+35
\|
*	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-46/+45
\|
*	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-48/+47
\|
*	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-89/+88
\|
*	Commenting out printout.	Alan Mishchenko	2012-10-10	1	-2/+2
\|
*	Added procedure to check correctness of the topo order during AIG construction.	Alan Mishchenko	2012-10-10	1	-0/+27
\|
*	Added command to transform GIA into the file with truth tables for each output.	Alan Mishchenko	2012-10-10	1	-0/+77
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	3	-41/+46
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	7	-163/+221
\|
*	Making report about the number of correcty covered frames consistent across ↵	Alan Mishchenko	2012-10-09	4	-6/+7
\| \| \| \|	the engines.
*	Improvements to gate-sizing.	Alan Mishchenko	2012-10-09	2	-3/+5
\|
*	Improvements to gate-sizing.	Alan Mishchenko	2012-10-09	3	-9/+27
\|
*	Improvements to gate sizing (bug fix).	Alan Mishchenko	2012-10-09	1	-4/+6
\|
*	Improvements to gate sizing (bug fix).	Alan Mishchenko	2012-10-09	1	-1/+2
\|
*	Bug fix in &gla (incorrect reporting of proved timeframes).	Alan Mishchenko	2012-10-09	1	-2/+2
\|
*	Bug fix in &gla (incorrect reporting of proved timeframes).	Alan Mishchenko	2012-10-09	1	-1/+2
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	1	-2/+2
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	4	-14/+24
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	3	-6/+35
\|
*	Uploading pthread library for Windows.	Alan Mishchenko	2012-10-09	5	-1/+1716
\|
*	Making explicit cast to 64-bit unsigned in a few places.	Alan Mishchenko	2012-10-09	10	-31/+31
\|
*	Extending the default GIA writing buffer.	Alan Mishchenko	2012-10-09	1	-1/+1
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	3	-82/+82
\|
*	Bug fix in LMS code.	Alan Mishchenko	2012-10-08	1	-1/+1
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-08	12	-203/+910
\|
*	Bug fix in reading AIGER with both signal names and extensions.	Alan Mishchenko	2012-10-08	1	-79/+79
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-4/+0
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-3/+4
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	3	-14/+785
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-12/+19
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	1	-5/+5
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	5	-70/+91
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	1	-31/+18
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	3	-27/+59
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	3	-3/+4
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	9	-1/+712
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	2	-3/+15
\|
*	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	3	-54/+144
\|
*	Simplification in AIG manager object counting.	Alan Mishchenko	2012-10-05	2	-4/+3
\|
*	Bug fix in loading the timing manager.	Alan Mishchenko	2012-10-05	1	-0/+8
\|
*	Bug fix in XOR balancing (command 'balance -x').	Alan Mishchenko	2012-10-05	1	-1/+1
\|
*	Changed 'readline' declaration rules.	Alan Mishchenko	2012-10-04	1	-2/+2
\|
*	Minor bug fix.	Alan Mishchenko	2012-10-04	1	-3/+3
\|
*	Minor bug fix.	Alan Mishchenko	2012-10-04	1	-0/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-3/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	2	-15/+15
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	3	-23/+23
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	2	-6/+5
\|