iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Integrated Kissat, by Armin Biere, as an external binary.	Alan Mishchenko	2022-06-02	1	-0/+78
*	Adding switch to dsd_match to skip small functions.	Alan Mishchenko	2022-05-18	1	-1/+1
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...	Alan Mishchenko	2019-03-05	1	-2/+2
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-0/+8
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	1	-2/+4
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	1	-2/+35
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	1	-2/+3
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	1	-12/+12
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
*	Added warning when a command is missing	Alan Mishchenko	2012-06-15	1	-0/+2
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-2/+4
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-2/+2
*	completely silence the "source" command when the -s option is given	Baruch Sterin	2011-10-24	1	-1/+1
*	Printing out the path/name of the resource file that is being sourced.	Alan Mishchenko	2011-07-02	1	-0/+7
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-22/+38
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-19/+20
*	Version abc80705	Alan Mishchenko	2008-07-05	1	-4/+39
*	Version abc80307	Alan Mishchenko	2008-03-07	1	-3/+3
*	Version abc80130_2	Alan Mishchenko	2008-01-30	1	-15/+15
*	Version abc80130	Alan Mishchenko	2008-01-30	1	-15/+15
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+649
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-649/+0
*	Version abc60220	Alan Mishchenko	2006-02-20	1	-13/+13
*	Version abc51222	Alan Mishchenko	2005-12-22	1	-1/+1
*	Version abc51012	Alan Mishchenko	2005-10-12	1	-1/+1
*	Version abc50905	Alan Mishchenko	2005-09-05	1	-7/+58
*	Version abc50729	Alan Mishchenko	2005-07-29	1	-0/+598