iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-0/+1
*	Faster isomorphism detection (command &iso).	Alan Mishchenko	2013-05-01	1	-0/+1
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-03-31	1	-0/+1
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-2/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-0/+1
*	Started PO partitioning command.	Alan Mishchenko	2013-02-24	1	-0/+1
*	Adding STG generation (&era -d) and STG encoding (&read_stg <file>).	Alan Mishchenko	2013-02-19	1	-0/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	1	-0/+1
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	1	-0/+1
*	Technology mapper.	Alan Mishchenko	2013-01-08	1	-0/+1
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-0/+1
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	1	-1/+0
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	1	-1/+0
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	1	-0/+1
*	Improving computation of choices from equivalence classes.	Alan Mishchenko	2012-09-23	1	-0/+1
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-9/+0
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-0/+1
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	1	-0/+1
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	1	-0/+1
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	1	-0/+1
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	1	-0/+1
*	New cut-based refinement.	Alan Mishchenko	2012-08-06	1	-0/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-21	1	-0/+1
*	Added new refinement manager for &gla and &abs_refine.	Alan Mishchenko	2012-07-14	1	-0/+1
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	1	-0/+1
*	Isomorphism checking code.	Alan Mishchenko	2012-02-14	1	-0/+1
*	Backward reachability using circuit cofactoring.	Alan Mishchenko	2012-01-01	1	-0/+1
*	New variable-time frame abstraction.	Alan Mishchenko	2011-12-29	1	-0/+1
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	1	-0/+1
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-1/+7
*	Version abc90901	Alan Mishchenko	2015-06-22	1	-0/+2
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-0/+1
*	Version abc90528	Alan Mishchenko	2015-06-22	1	-0/+1
*	Version abc90405	Alan Mishchenko	2009-04-05	1	-0/+1
*	Version abc90329	Alan Mishchenko	2009-03-29	1	-0/+2
*	Version abc90321	Alan Mishchenko	2009-03-21	1	-0/+1
*	Version abc90310	Alan Mishchenko	2009-03-10	1	-0/+3
*	Version abc90220	Alan Mishchenko	2009-02-20	1	-0/+1
*	Version abc90217	Alan Mishchenko	2009-02-17	1	-1/+1
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-0/+19