iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-16	1	-0/+14
*	New word-level representation package.	Alan Mishchenko	2014-09-12	1	-0/+29
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	2	-3/+8
*	Propagating timing support to the new synthesis/mapping commands.	Alan Mishchenko	2014-08-20	2	-2/+2
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-0/+11
*	Compiler warnings.	Alan Mishchenko	2014-08-04	1	-0/+53
*	Profiling code for SOP/DSD/LMS balancing.	Alan Mishchenko	2014-08-02	1	-0/+87
*	Small changes in several packages.	Alan Mishchenko	2014-07-17	1	-0/+8
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-30	1	-0/+25
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-26	2	-4/+18
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-1/+0
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-0/+250
*	Experiments with MUX profiling.	Alan Mishchenko	2014-06-19	2	-2/+48
*	Experiments with CNF generation.	Alan Mishchenko	2014-06-18	1	-5/+8
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	3	-155/+141
*	Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...	Alan Mishchenko	2014-06-17	2	-0/+40
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-57/+99
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-1/+1
*	Various modifications.	Alan Mishchenko	2014-06-10	2	-3/+12
*	Compiler warnings.	Alan Mishchenko	2014-05-29	1	-3/+3
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	2	-4/+4
*	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
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-6/+5
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-4/+4