iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disable cube-sort when deriving SOPs.	Alan Mishchenko	2021-05-11	1	-1/+1
\|
*	Better print-out of SOPs. Changing default of 'fx'. Updating 'satclp' to ↵	Alan Mishchenko	2016-01-12	1	-1/+1
\| \| \| \|	fine prine SOPs.
*	Propagating changes after updating flag of 'sop'.	Alan Mishchenko	2015-02-19	1	-1/+1
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	1	-1/+1
\|
*	Changing default values.	Alan Mishchenko	2013-09-28	1	-1/+1
\|
*	Improving printouts in sharing extraction.	Alan Mishchenko	2013-09-28	1	-1/+1
\|
*	Added switch -M to set max size of two-cube divisors to extract (often helps ↵	Alan Mishchenko	2013-05-27	1	-1/+2
\| \| \| \|	both runtime and quality).
*	New fast extract.	Alan Mishchenko	2013-05-05	1	-2/+2
\|
*	Modified command 'eliminate' to perform traditional 'eliminate -1'.	Alan Mishchenko	2013-04-28	1	-9/+9
\|
*	Added an API to convert a multi-output PLA into a shared AIG.	Alan Mishchenko	2012-08-29	1	-2/+28
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-2/+2
\|
*	Made abc.h independent of CUDD and Extra.	Alan Mishchenko	2011-03-03	1	-1/+1
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-10/+15
\|
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-2/+2
\|
*	Version abc90220	Alan Mishchenko	2009-02-20	1	-1/+1
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-5/+5
\|
*	Version abc80130_2	Alan Mishchenko	2008-01-30	1	-8/+11
\|
*	Version abc80130	Alan Mishchenko	2008-01-30	1	-11/+8
\|
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+260
\|
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-260/+0
\|
*	Version abc70219	Alan Mishchenko	2007-02-19	1	-1/+1
\|
*	Version abc60822	Alan Mishchenko	2006-08-22	1	-12/+9
\|
*	Version abc60407	Alan Mishchenko	2006-04-07	1	-1/+7
\|
*	Version abc60303	Alan Mishchenko	2006-03-03	1	-1/+1
\|
*	Version abc51126	Alan Mishchenko	2005-11-26	1	-1/+1
\|
*	Version abc51012	Alan Mishchenko	2005-10-12	1	-1/+1
\|
*	Version abc50905	Alan Mishchenko	2005-09-05	1	-3/+1
\|
*	Version abc50904	Alan Mishchenko	2005-09-04	1	-0/+259