iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding switch 'scorr -f' to dump inductive invariant as an AIG.	Alan Mishchenko	2018-03-22	1	-1/+3
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	1	-1/+1
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	1	-0/+5
*	Added switches '-c' and '-n' to 'init'.	Alan Mishchenko	2014-11-02	1	-0/+64
*	Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...	Alan Mishchenko	2012-03-09	1	-8/+8
*	Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...	Alan Mishchenko	2012-03-09	1	-30/+30
*	Graph isomorphism checking code.	Alan Mishchenko	2012-01-30	1	-0/+76
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-12/+12
*	Added switch 'write_counter -f' to output flop values in each time frame.	Alan Mishchenko	2012-01-18	1	-0/+52
*	g++ portability changes.	Alan Mishchenko	2011-12-06	1	-1/+1
*	Trying to add BMC to random simulation.	Alan Mishchenko	2011-11-06	1	-0/+44
*	Changing the ordering of arguments in two iterators.	Alan Mishchenko	2011-08-01	1	-1/+1
*	Added deriving abstraction in GIA from the precomputed flop map.	Alan Mishchenko	2011-07-29	1	-22/+22
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-0/+85
*	Changes to enable C++ compilation after recent modifications.	Alan Mishchenko	2011-02-13	1	-1/+1
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	1	-1/+51
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-6/+18
*	Version abc90901	Alan Mishchenko	2015-06-22	1	-23/+98
*	Version abc90118	Alan Mishchenko	2009-01-18	1	-1/+5
*	Version abc81027	Alan Mishchenko	2008-10-27	1	-5/+4
*	Version abc80927	Alan Mishchenko	2008-09-27	1	-0/+60
*	Version abc80919	Alan Mishchenko	2008-09-19	1	-0/+74