iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Recommended changes for portability.	Alan Mishchenko	2014-10-12	1	-1/+1
*	Suggested patch for type-punned warnings	Alan Mishchenko	2014-10-10	1	-3/+6
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	1	-1/+1
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	1	-0/+145
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-25	6	-10/+163
*	Bug fix in technology mapper.	Alan Mishchenko	2013-11-24	1	-4/+13
*	Several changes to allow Liberty files without delay info.	Alan Mishchenko	2013-11-21	1	-0/+1
*	Improvements to buffering and sizing.	Alan Mishchenko	2013-10-13	1	-1/+1
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-4/+3
*	Bug fixes in the library processing,.	Alan Mishchenko	2013-10-02	1	-6/+10
*	Unifying standard cell library representations.	Alan Mishchenko	2013-09-17	3	-5/+39
*	Infrastructure to support full Liberty format and unitification of library re...	Alan Mishchenko	2013-09-15	3	-3/+5
*	Improved gate-sizing.	Alan Mishchenko	2013-07-29	2	-0/+10
*	Tuning standard-cell mapping flow.	Alan Mishchenko	2013-07-24	2	-47/+69
*	Small changes to the printout in timing analysis.	Alan Mishchenko	2013-07-19	1	-1/+1
*	Modified SCL gate library to read/write gate formula.	Alan Mishchenko	2013-03-26	4	-2/+102
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	3	-10/+10
*	Changes several defaults of 'super' to be infinite.	Alan Mishchenko	2012-10-01	3	-12/+11
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	5	-21/+21
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	3	-12/+14
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	3	-218/+183
*	Changed printouts in a few places in supergate computation.	Alan Mishchenko	2012-09-24	2	-2/+5
*	Added switch '-E <filename>' to 'read_library' to exclude gates listed while ...	Alan Mishchenko	2012-09-21	1	-35/+44
*	Modified 'read' to read all types of libraries (genlib, liberty, scl).	Alan Mishchenko	2012-09-20	1	-2/+5
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	2	-6/+6
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	4	-3/+88
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	1	-0/+2
*	Extending BLIF parser/write to hangle multi-output cells.	Alan Mishchenko	2012-09-19	4	-32/+50
*	Extending Genlib to hangle multi-output cells.	Alan Mishchenko	2012-09-19	3	-57/+105
*	Added delay multipliers to 'map'.	Alan Mishchenko	2012-09-16	2	-5/+27
*	Improving print-outs in 'stime' and 'gsize'.	Alan Mishchenko	2012-09-04	1	-1/+1
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-29	1	-23/+17
*	Added features 'map -M <float>' to control the use of large gates.	Alan Mishchenko	2012-08-27	3	-5/+29
*	Select for mapping smallest-area gates for each functionality.	Alan Mishchenko	2012-08-26	1	-49/+16
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	4	-8/+8
*	Improving printouts of critical path.	Alan Mishchenko	2012-04-06	2	-0/+22
*	Additional features for delay optimization	Alan Mishchenko	2012-03-21	4	-14/+55
*	Making GENLIB parser skip LATCHes.	Alan Mishchenko	2012-03-02	3	-1/+30
*	Updating 'print_library' to write GENLIB library into a file.	Alan Mishchenko	2012-02-29	1	-10/+20
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	2	-3/+3
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+2
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	7	-15/+15
*	Made gate library package Mio independent of CUDD.	Alan Mishchenko	2011-03-30	12	-136/+1511
*	Fixed a number of small bugs and memory leaks.	Alan Mishchenko	2011-03-27	1	-1/+2
*	Made abc.h independent of CUDD and Extra.	Alan Mishchenko	2011-03-03	4	-5/+7
*	Bug fix: unhandled & symbol in Liberty formula representation	Alan Mishchenko	2010-11-29	1	-5/+8
*	initial commit of public abc	Alan Mishchenko	2010-11-01	7	-37/+71
*	Version abc90408	Alan Mishchenko	2009-04-08	2	-3/+3
*	Version abc90310	Alan Mishchenko	2009-03-10	1	-0/+0
*	Version abc90215	Alan Mishchenko	2009-02-15	5	-35/+118