iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixing non-reproducability related to floating-point numbers.	Alan Mishchenko	2017-01-27	1	-6/+8
\|
*	Compiler warnings.	Alan Mishchenko	2017-01-07	1	-8/+8
\|
*	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
\|