iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding switch to replace proved outputs by const0.	Alan Mishchenko	2020-12-16	1	-1/+3
\|
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-0/+1
\|
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-25	1	-6/+37
\|
*	Experiments with AIG-based simulation.	Alan Mishchenko	2017-12-05	1	-0/+4
\|
*	Extracting CSAT interface and several cleanups.	Alan Mishchenko	2017-11-13	1	-8/+10
\|
*	Compiler warnings.	Alan Mishchenko	2017-07-22	1	-1/+1
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-10/+10
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-3/+3
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-5/+6
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-6/+6
\|
*	Made gate library package Mio independent of CUDD.	Alan Mishchenko	2011-03-30	1	-1/+2
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-1/+6
\|
*	Version abc90804	Alan Mishchenko	2015-06-22	1	-3/+3
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-0/+2
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90424	Alan Mishchenko	2009-04-24	1	-1/+7
\|
*	Version abc90413	Alan Mishchenko	2009-04-13	1	-2/+8
\|
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-0/+3
\|
*	Version abc90405	Alan Mishchenko	2009-04-05	1	-152/+345
\|
*	Version abc90329	Alan Mishchenko	2009-03-29	1	-0/+886