iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	2	-0/+334
\|
*	Improvements to bit-blaster.	Alan Mishchenko	2014-09-30	1	-0/+2
\|
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-143/+0
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-05-29	1	-3/+3
\|
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	1	-1/+1
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-27	1	-57/+442
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-2/+3
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-5/+53
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-1/+1
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-4/+19
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	2	-0/+227
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-30	1	-1/+1
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-30	1	-114/+144
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-29	1	-1/+24
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-28	1	-0/+204
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-2/+65
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-3/+5
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	2	-0/+359
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-24	1	-49/+92
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-24	1	-1/+80
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-12/+5
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-6/+17
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	2	-0/+36
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-3/+3
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-22/+10
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-15/+13
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-3/+3
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-53/+110
\|
*	Bug fix in if -g when choices are used.	Alan Mishchenko	2014-04-22	1	-1/+1
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-21	2	-0/+141
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-20	2	-0/+868
\|
*	Improving K-map printout.	Alan Mishchenko	2014-04-10	1	-0/+30
\|
*	Improvements to the standard cell flow.	Alan Mishchenko	2013-11-08	2	-0/+21
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	1	-0/+338
\|
*	Code to test AIG generation for DSD structures.	Alan Mishchenko	2013-09-27	1	-0/+31
\|
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	1	-3/+4
\|
*	Changes to enable decomposition of non-DSD functions.	Alan Mishchenko	2013-09-25	1	-0/+79
\|
*	Infrastructure to support full Liberty format and unitification of library ↵	Alan Mishchenko	2013-09-15	1	-2/+2
\| \| \| \|	representations.
*	Removing duplicated typedef line.	Alan Mishchenko	2013-09-13	1	-1/+0
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	2	-0/+49
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	1	-9/+4
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	2	-4/+19
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	2	-7/+16
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	3	-0/+1109
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	6	-25/+25
\|
*	Adding command &miter2 to derive a specified sequential miter.	Alan Mishchenko	2013-03-27	2	-0/+27
\|