iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-2/+2
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	1	-19/+19
*	Added new algorithm for NPN semi-canonical form computation.	Alan Mishchenko	2012-08-23	1	-3/+84
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	1	-1/+1
*	Recording and reusing learned util clauses in bmc2.	Alan Mishchenko	2012-07-22	1	-1/+1
*	New procedures to generate NPN-classes for a library of 6-input functions.	Alan Mishchenko	2012-07-20	1	-8/+16
*	New procedures to generate NPN-classes for a library of 6-input functions.	Alan Mishchenko	2012-07-19	1	-0/+288
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-76/+2
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-3/+6
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-29/+29
*	Version abc80702	Alan Mishchenko	2008-07-02	1	-6/+6
*	Version abc80130_2	Alan Mishchenko	2008-01-30	1	-1/+804
*	Version abc80130	Alan Mishchenko	2008-01-30	1	-804/+1
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+2235
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-2235/+0
*	Version abc70703	Alan Mishchenko	2007-07-03	1	-1/+49
*	Version abc60611	Alan Mishchenko	2006-06-11	1	-8/+8
*	Version abc51012	Alan Mishchenko	2005-10-12	1	-2/+2
*	Version abc51002	Alan Mishchenko	2005-10-02	1	-0/+724
*	Version abc51001	Alan Mishchenko	2005-10-01	1	-0/+31
*	Version abc50829	Alan Mishchenko	2005-08-29	1	-2/+2
*	Version abc50827	Alan Mishchenko	2005-08-27	1	-1/+1
*	Version abc50822	Alan Mishchenko	2005-08-22	1	-3/+299
*	Version abc50819	Alan Mishchenko	2005-08-19	1	-35/+383
*	Version abc50818	Alan Mishchenko	2005-08-18	1	-0/+408
*	Version abc50729	Alan Mishchenko	2005-07-29	1	-0/+380