iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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 ↵	Alan Mishchenko	2014-06-17	2	-0/+40
\| \| \| \|	CEXes using 'testcex -a'.
*	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
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-0/+2
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	2	-0/+124
\|
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	2	-0/+28
\|
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-02	1	-2/+5
\|
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	2	-0/+33
\|
*	Adding barrier buffers.	Alan Mishchenko	2014-03-18	1	-0/+2
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-19	1	-5/+6
\|
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	2	-1/+40
\|
*	Fix in represneting constants in a platform-independent way.	Alan Mishchenko	2014-02-10	1	-12/+12
\|