iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	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
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-0/+21
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	1	-3/+3
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	1	-1/+5
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-0/+1
*	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	Alan Mishchenko	2013-05-17	1	-1/+1
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-0/+4
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	1	-1/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	1	-0/+2
*	Integrating packing information.	Alan Mishchenko	2013-02-17	1	-0/+2
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+6
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	1	-3/+3
*	Extending GIA to represent pintypes and pins.	Alan Mishchenko	2012-11-12	1	-0/+1
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-0/+92
*	Creating dedicated choice representation for GIA.	Alan Mishchenko	2012-10-24	1	-0/+32
*	Adding frontier comptuation based on reversed CO order in &ps.	Alan Mishchenko	2012-10-24	1	-1/+1
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-1/+1
*	Structural reparametrization.	Alan Mishchenko	2012-10-01	1	-0/+1