iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...	Alan Mishchenko	2019-03-05	2	-4/+4
*	Fixed a typo in variable names.	Alan Mishchenko	2015-02-07	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	2	-26/+26
*	Changes several defaults of 'super' to be infinite.	Alan Mishchenko	2012-10-01	2	-40/+40
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	2	-3/+3
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	4	-149/+241
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	1	-1/+1
*	Changed printouts in a few places in supergate computation.	Alan Mishchenko	2012-09-24	1	-2/+2
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	1	-4/+4
*	Removed unused files from the project.	Alan Mishchenko	2012-07-25	1	-2/+1
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	2	-3/+3
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	2	-7/+7
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	2	-6/+8
*	Adding switch -N to 'super' to set an upper bound on the number of supergates...	Alan Mishchenko	2012-03-01	1	-1/+1
*	Adding switch -N to 'super' to set an upper bound on the number of supergates...	Alan Mishchenko	2012-02-29	3	-48/+84
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	3	-11/+11
*	Made gate library package Mio independent of CUDD.	Alan Mishchenko	2011-03-30	1	-1/+1
*	initial commit of public abc	Alan Mishchenko	2010-11-01	7	-16/+54
*	Version abc90807	Alan Mishchenko	2015-06-22	1	-6/+6
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-4/+12
*	Version abc90215	Alan Mishchenko	2009-02-15	3	-46/+46
*	Version abc90118	Alan Mishchenko	2009-01-18	1	-1/+6
*	Version abc80702	Alan Mishchenko	2008-07-02	2	-11/+12
*	Version abc80301	Alan Mishchenko	2008-03-01	1	-4/+4
*	Version abc80130_2	Alan Mishchenko	2008-01-30	7	-42/+51
*	Version abc80130	Alan Mishchenko	2008-01-30	7	-51/+42
*	Version abc71001	Alan Mishchenko	2007-10-01	8	-0/+2587
*	Version abc70930	Alan Mishchenko	2007-09-30	8	-2587/+0
*	Version abc70110	Alan Mishchenko	2007-01-10	2	-2/+2
*	Version abc61102	Alan Mishchenko	2006-11-02	1	-4/+4
*	Version abc60303	Alan Mishchenko	2006-03-03	2	-3/+12
*	Version abc60220	Alan Mishchenko	2006-02-20	1	-22/+22
*	Version abc60211	Alan Mishchenko	2006-02-11	1	-2/+2
*	Version abc51012	Alan Mishchenko	2005-10-12	7	-9/+9
*	Version abc50729	Alan Mishchenko	2005-07-29	8	-0/+2578