iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	2	-21/+23
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	17	-56/+1212
\|
*	Added platform-independent random-number generator to 'fraig'.	Alan Mishchenko	2012-09-05	2	-2/+7
\|
*	Added switch 'dch -r' to skip choices with structural support redundancy.	Alan Mishchenko	2012-09-05	5	-10/+70
\|
*	Added error message when the user is trying 'dsat' for multi-output comb miters.	Alan Mishchenko	2012-09-05	2	-3/+3
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-05	1	-1/+1
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	11	-29/+282
\|
*	Enabling additinal printouts.	Alan Mishchenko	2012-09-04	1	-0/+64
\|
*	Better batch mode printout.	Alan Mishchenko	2012-09-04	1	-1/+1
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-2/+4
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-5/+5
\|
*	Make switches -d (-m) by default dump abstracted model (miter with ↵	Alan Mishchenko	2012-09-04	1	-8/+21
\| \| \| \|	abstraction map) into files whose names are derived from the names of the input file by adding _abs (_gla).
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	25	-1/+73
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	3	-26/+28
\|
*	Improving print-outs in 'stime' and 'gsize'.	Alan Mishchenko	2012-09-04	7	-95/+206
\|
*	Uniqifying status file name in &gla.	Alan Mishchenko	2012-09-03	3	-3/+9
\|
*	Several minor changes.	Alan Mishchenko	2012-09-03	3	-2/+43
\|
*	Added switch &srm -A <file> for dumping SRM into a user-specified file.	Alan Mishchenko	2012-09-02	1	-10/+21
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-09-01	5	-49/+70
\|
*	Changes to allow &gla to run with fSimple = 1 (useful for debugging).	Alan Mishchenko	2012-08-31	2	-6/+7
\|
*	Bug fix in the old Liberty parser.	Alan Mishchenko	2012-08-31	1	-4/+6
\|
*	Added several assertions.	Alan Mishchenko	2012-08-31	1	-0/+3
\|
*	Added command 'print_gs' to print gate sizes in the mapping.	Alan Mishchenko	2012-08-31	5	-7/+141
\|
*	Fixing assert which failes when SAT solver returns after a timeout.	Alan Mishchenko	2012-08-31	1	-0/+2
\|
*	Fixing the way constants are written into mapped Verilog files.	Alan Mishchenko	2012-08-31	1	-0/+5
\|
*	Improvements to gate-sizing.	Alan Mishchenko	2012-08-30	4	-27/+79
\|
*	Improvements to gate-sizing.	Alan Mishchenko	2012-08-30	1	-0/+1
\|
*	Improvements to gate-sizing.	Alan Mishchenko	2012-08-30	2	-10/+16
\|
*	Improving print-out in gate-sizing.	Alan Mishchenko	2012-08-30	1	-2/+3
\|
*	Improving print-out in gate-sizing.	Alan Mishchenko	2012-08-30	1	-4/+4
\|
*	Handling constant nodes in gate sizing.	Alan Mishchenko	2012-08-30	6	-8/+12
\|
*	Commenting out debug dump of the library.	Alan Mishchenko	2012-08-30	1	-1/+1
\|
*	Improvements to gate-sizing.	Alan Mishchenko	2012-08-30	4	-44/+114
\|
*	Improvements to gate-sizing.	Alan Mishchenko	2012-08-30	5	-117/+299
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-29	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-29	6	-6/+6
\|
*	Forgot to update makefile.	Alan Mishchenko	2012-08-29	1	-0/+1
\|
*	Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall.	Alan Mishchenko	2012-08-29	1	-1/+1
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-29	12	-413/+588
\|
*	Added an API to convert a multi-output PLA into a shared AIG.	Alan Mishchenko	2012-08-29	4	-26/+110
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-29	9	-227/+626
\|
*	Ensured that SC mapped network is always in a topo order.	Alan Mishchenko	2012-08-28	4	-29/+50
\|
*	Added buffering based on combinational merging.	Alan Mishchenko	2012-08-28	10	-18/+376
\|
*	Bug fix: abstraction commands not properly updating status when dumping ↵	Alan Mishchenko	2012-08-28	6	-3/+6
\| \| \| \|	intermediate abstraction.
*	Added precomputation of TFO ordering for incremental network updates.	Alan Mishchenko	2012-08-27	3	-0/+118
\|
*	Added printout of library cells.	Alan Mishchenko	2012-08-27	7	-57/+286
\|
*	Improved printout of command history.	Alan Mishchenko	2012-08-27	4	-2/+31
\|
*	Added features 'map -M <float>' to control the use of large gates.	Alan Mishchenko	2012-08-27	7	-23/+76
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-27	1	-8/+8
\|
*	Bug fix in &gla.	Alan Mishchenko	2012-08-27	4	-5/+25
\|