iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Diabling pin-permutation in &nf mapper.	Alan Mishchenko	2015-02-08	1	-0/+1
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	1	-0/+1
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-0/+1
*	Code restructuring.	Alan Mishchenko	2014-09-16	1	-3/+4
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-0/+1
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	1	-0/+1
*	Adding new command &sopb for resource-aware SOP balancing.	Alan Mishchenko	2014-07-21	1	-0/+1
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-28	1	-0/+1
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	1	-0/+1
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-0/+1
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+1
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+1
*	Experiment with new idea for ISO.	Alan Mishchenko	2014-05-21	1	-0/+1
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	1	-0/+1
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+1
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+1
*	False path detection.	Alan Mishchenko	2013-10-31	1	-0/+1
*	Resubstitution code.	Alan Mishchenko	2013-10-06	1	-0/+1
*	Experiment with the AIG package.	Alan Mishchenko	2013-10-03	1	-0/+1
*	New logic sharing extraction.	Alan Mishchenko	2013-09-29	1	-0/+1
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	1	-0/+1
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	1	-0/+1
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-0/+1
*	New technology mapper.	Alan Mishchenko	2013-07-12	1	-1/+0
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	1	-1/+0
*	Integrating new MFS package with GIA manager.	Alan Mishchenko	2013-06-04	1	-0/+1
*	Multiplexer profiling.	Alan Mishchenko	2013-05-27	1	-0/+1
*	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