iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Several small bug fixes.	Alan Mishchenko	2015-01-17	1	-0/+1
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	1	-13/+14
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-08	1	-13/+13
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-3/+10
*	Experiments with CNF generation.	Alan Mishchenko	2014-06-18	1	-1/+4
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-2/+2
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-02	1	-1/+1
*	Improving cut computation.	Alan Mishchenko	2014-03-30	1	-0/+2
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-19	1	-23/+2
*	New command &write_cnf.	Alan Mishchenko	2013-12-18	1	-2/+28
*	Specialized induction check.	Alan Mishchenko	2013-10-31	1	-3/+7
*	New BMC engine.	Alan Mishchenko	2013-10-27	1	-2/+2
*	New BMC engine.	Alan Mishchenko	2013-10-27	1	-15/+17
*	New BMC engine.	Alan Mishchenko	2013-10-27	1	-3/+45
*	Extending truth table support in &jf for more than 6 inputs.	Alan Mishchenko	2013-10-10	1	-26/+39
*	Improvements to the canonical form computation.	Alan Mishchenko	2013-10-10	1	-10/+12
*	CNF generating using new mapper.	Alan Mishchenko	2013-10-10	1	-1/+112
*	Converting mapped AIG into strashed AIG.	Alan Mishchenko	2013-09-30	1	-1/+1
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	1	-2/+5
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	1	-1/+4
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	1	-19/+34
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-1/+1
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-1/+1
*	Changing default values.	Alan Mishchenko	2013-09-28	1	-1/+1
*	Changing default values.	Alan Mishchenko	2013-09-28	1	-22/+22
*	Performance improvements in GIA package.	Alan Mishchenko	2013-09-27	1	-0/+1
*	Generation of plain AIG after mapping.	Alan Mishchenko	2013-09-27	1	-1/+81
*	Updates to the mapper.	Alan Mishchenko	2013-09-26	1	-2/+12
*	Updates to the mapper.	Alan Mishchenko	2013-09-26	1	-3/+7
*	Extending the mapper to handle up to 2^24 functional classes.	Alan Mishchenko	2013-09-25	1	-8/+8
*	Fixing the large MFFC problem.	Alan Mishchenko	2013-09-25	1	-8/+8
*	Fixing the large MFFC problem.	Alan Mishchenko	2013-09-25	1	-7/+34
*	Added command &struct for profiling non-dec structures.	Alan Mishchenko	2013-09-13	1	-0/+2
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-1/+6
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-12/+25
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-69/+113
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-38/+103
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-7/+5
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-19/+32
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-7/+17
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	1	-49/+44
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	1	-5/+109
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	1	-49/+26
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-41/+102
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-19/+102
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-19/+25
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-8/+31
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-2/+3
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-38/+67
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-08	1	-4/+4