iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	5	-150/+748
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	1	-18/+4
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	1	-8/+7
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	8	-66/+962
\|
*	Improvements to the truth table computation in 'if' package.	Alan Mishchenko	2012-10-26	4	-12/+454
\|
*	Enables printout of fanout count in critical path.	Alan Mishchenko	2012-10-26	1	-0/+1
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-25	1	-2/+2
\|
*	Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵	Alan Mishchenko	2012-10-25	5	-4/+45
\| \| \| \|	constant.
*	Added new API to traverse the cut in the mapper.	Alan Mishchenko	2012-10-25	3	-1/+55
\|
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	1	-1/+1
\|
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	4	-19/+43
\|
*	Changing the defaults of command 'collapse'.	Alan Mishchenko	2012-10-25	1	-2/+2
\|
*	Added hierarchical BLIF output for mapping with LUT structures (write_blif ↵	Alan Mishchenko	2012-10-24	4	-17/+299
\| \| \| \|	-a -S <XYZ>).
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	4	-44/+214
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	14	-362/+962
\|
*	Creating dedicated choice representation for GIA.	Alan Mishchenko	2012-10-24	7	-23/+122
\|
*	Adding frontier comptuation based on reversed CO order in &ps.	Alan Mishchenko	2012-10-24	4	-9/+59
\|
*	Fixing frontier computation in &ps.	Alan Mishchenko	2012-10-24	1	-4/+43
\|
*	Disabling SAT sweeping in 'map' by default.	Alan Mishchenko	2012-10-23	1	-1/+1
\|
*	Adding #ifdef to guard windows-specific debugging option.	Alan Mishchenko	2012-10-20	1	-3/+5
\|
*	Bug fix in hierarchical BLIF reader.	Alan Mishchenko	2012-10-11	1	-3/+2
\|
*	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
\|