iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Experiments with cofactoring variables.	Alan Mishchenko	2014-06-20	1	-1/+2
*	New tools for profiling verification miters.	Alan Mishchenko	2014-06-20	1	-0/+3
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+3
*	Bug fix in CEC generation after rarity simulation and few small changes.	Alan Mishchenko	2014-06-16	1	-0/+1
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-0/+1
*	Adding more features to the synthesis script &syn2.	Alan Mishchenko	2014-06-14	1	-1/+1
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-0/+1
*	Various modifications.	Alan Mishchenko	2014-06-12	1	-2/+7
*	Enabling switching activity.	Alan Mishchenko	2014-06-12	1	-0/+1
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	1	-0/+4
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+9
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-0/+1
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+2
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	1	-1/+1
*	Code to explore cofactors of CEC problems.	Alan Mishchenko	2014-06-02	1	-1/+1
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	1	-0/+1
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	1	-0/+2
*	Experiments with technology mapping.	Alan Mishchenko	2014-03-29	1	-0/+1
*	Experiments with mapping.	Alan Mishchenko	2014-03-23	1	-0/+1
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+1
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+1
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+1
*	Experiments with simulation.	Alan Mishchenko	2014-03-14	1	-5/+12
*	Passing file name for stats print-out in &ps.	Alan Mishchenko	2014-03-09	1	-2/+2
*	Improving switching activity computation.	Alan Mishchenko	2013-12-26	1	-0/+2
*	New command &write_cnf.	Alan Mishchenko	2013-12-18	1	-0/+1
*	Sweeper internal dumping.	Alan Mishchenko	2013-11-01	1	-0/+1
*	Sweeper internal verification.	Alan Mishchenko	2013-11-01	1	-1/+1
*	Sweeper internal verification and new switch for &cfraig.	Alan Mishchenko	2013-11-01	1	-1/+1
*	Sweeper internal verification.	Alan Mishchenko	2013-11-01	1	-1/+1
*	Sweeper condition complement bug-fix and code for internal verification.	Alan Mishchenko	2013-11-01	1	-1/+2
*	Sweeper return value normalization.	Alan Mishchenko	2013-11-01	1	-0/+1
*	GIA sweeper: adding APIs to return valid probe ID and run a command line.	Alan Mishchenko	2013-10-31	1	-0/+2
*	Specialized induction check.	Alan Mishchenko	2013-10-31	1	-1/+2
*	GIA sweeper interface update.	Alan Mishchenko	2013-10-30	1	-1/+1
*	GIA sweeper interface update.	Alan Mishchenko	2013-10-30	1	-2/+2
*	New BMC engine.	Alan Mishchenko	2013-10-27	1	-0/+1
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	1	-0/+1
*	Adding new synthesis scripts.	Alan Mishchenko	2013-10-23	1	-0/+5
*	More accurate level calculation in AIG balancing.	Alan Mishchenko	2013-10-22	1	-0/+2
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-1/+2
*	Bug fix and performance improvement in &iso.	Alan Mishchenko	2013-10-03	1	-1/+1
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-0/+2
*	Improvements to truth table computation.	Alan Mishchenko	2013-09-30	1	-2/+6
*	New logic sharing extraction.	Alan Mishchenko	2013-09-29	1	-5/+5
*	Changing default values.	Alan Mishchenko	2013-09-28	1	-1/+1
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-1/+1
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-1/+3
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	1	-2/+12
*	Performance improvements in GIA package.	Alan Mishchenko	2013-09-27	1	-7/+8