iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+8
\|
*	Improvements to the standard cell flow.	Alan Mishchenko	2013-11-08	2	-0/+21
\|
*	Fix parenthesization of Abc_Clock #ifdef.	Aaron Tomb	2013-11-06	1	-1/+1
\| \| \| \| \|	The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X.
*	Merged in atomb/abc (pull request #1)	Alan Mishchenko	2013-11-05	2	-4/+6
\|\ \| \| \| \| \| \|	Several patches to fix compilation under MINGW32
\| *	Don't assume MSVC when __MINGW32__ set.	Aaron Tomb	2013-11-04	1	-0/+2
\| \|
\| *	Choose Windows file operations with MINGW32.	Aaron Tomb	2013-11-04	1	-3/+3
\| \|
\| *	Make definition of Abc_Clock work with MINGW32.	Aaron Tomb	2013-11-04	1	-1/+1
\| \|
* \|	Tuning for multi-ouptut solver.	Alan Mishchenko	2013-11-04	1	-1/+4
\|/
*	Changes to Liberty parser.	Alan Mishchenko	2013-10-30	1	-0/+22
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-30	2	-7/+6
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	1	-0/+338
\|
*	Extending truth table support in &jf for more than 6 inputs.	Alan Mishchenko	2013-10-10	1	-3/+4
\|
*	Improvements to the canonical form computation.	Alan Mishchenko	2013-10-10	1	-0/+1
\|
*	Moved the code to a different file.	Alan Mishchenko	2013-10-06	1	-0/+197
\|
*	Resubstitution code.	Alan Mishchenko	2013-10-06	2	-20/+43
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-0/+13
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-0/+13
\|
*	Added 'abort' message in bridge mode for pdr -a timeout	Niklas Een	2013-10-04	1	-8/+30
\|
*	Changing default values.	Alan Mishchenko	2013-10-02	1	-13/+13
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-0/+17
\|
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-0/+13
\|