iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Supporting CO attributes in GIA.	Alan Mishchenko	2017-07-12	1	-0/+1
\|
*	Synchronizing various data-structures.	Alan Mishchenko	2017-07-04	1	-0/+3
\|
*	Adding new command 'dump_equiv'.	Alan Mishchenko	2016-07-21	1	-0/+2
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-11	1	-0/+1
\|
*	Experimental algorithm for edge optimization.	Alan Mishchenko	2016-04-13	1	-0/+2
\|
*	Supporting edge information during mapping.	Alan Mishchenko	2016-04-11	1	-1/+1
\|
*	Supporting edge information during mapping.	Alan Mishchenko	2016-04-06	1	-0/+26
\|
*	Windowing for technology mapping.	Alan Mishchenko	2016-03-30	1	-0/+1
\|
*	Windowing for technology mapping.	Alan Mishchenko	2016-03-29	1	-1/+1
\|
*	Adding support for black boxes in extended AIG.	Alan Mishchenko	2015-10-04	1	-0/+2
\|
*	Adding support for flop init-states in extended AIG.	Alan Mishchenko	2015-10-04	1	-0/+1
\|
*	New constraint manager and memory reporting 'ps'.	Alan Mishchenko	2015-09-08	1	-0/+7
\|
*	Support for representing programmable cell configuration data.	Alan Mishchenko	2015-03-08	1	-0/+2
\|
*	Diabling pin-permutation in &nf mapper.	Alan Mishchenko	2015-02-08	1	-0/+1
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-08	1	-0/+2
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-1/+1
\|
*	Adding integrity check for boxes and flops.	Alan Mishchenko	2014-11-25	1	-4/+17
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-25	1	-1/+1
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	1	-5/+7
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-8/+7
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-1/+7
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	1	-0/+1
\|
*	Generation of barrier-buffers for hierarchical design.	Alan Mishchenko	2014-11-10	1	-0/+1
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-08-27	1	-1/+1
\|
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	1	-2/+4
\|
*	Adding support for standard-cell mapping.	Alan Mishchenko	2014-07-28	1	-0/+1
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-4/+2
\|
*	Improvements to power-aware mapping.	Alan Mishchenko	2014-06-23	1	-5/+9
\|
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	1	-1/+1
\|
*	New tools for profiling verification miters.	Alan Mishchenko	2014-06-20	1	-0/+39
\|
*	Various modifications.	Alan Mishchenko	2014-06-12	1	-24/+5
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-3/+18
\|
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-0/+1
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	1	-0/+7
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	1	-0/+17
\|
*	Adding print-out of average level.	Alan Mishchenko	2014-04-19	1	-1/+4
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-20	1	-6/+14
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+39
\|
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+1
\|
*	Passing file name for stats print-out in &ps.	Alan Mishchenko	2014-03-09	1	-1/+1
\|
*	Improving switching activity computation.	Alan Mishchenko	2013-12-26	1	-0/+1
\|
*	New BMC engine.	Alan Mishchenko	2013-10-27	1	-1/+1
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	1	-0/+2
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-1/+1
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-29	1	-1/+1
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-1/+9
\|
*	Changed printf to Abc_Print in giaMan.c	Niklas Een	2013-09-27	1	-44/+43
\|
*	Improvements to the &ps.	Alan Mishchenko	2013-09-08	1	-0/+2
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-6/+6
\|
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-6/+7
\|