iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2016-12-31	1	-3/+3
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-26	1	-0/+28
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-19	1	-0/+8
\|
*	Compiler warning.	Alan Mishchenko	2015-12-16	1	-7/+0
\|
*	Improvements to storing and reusing simulation info.	Alan Mishchenko	2015-11-05	1	-0/+57
\|
*	Compiler warnings.	Alan Mishchenko	2015-10-25	1	-14/+3
\|
*	Extending library handling to 8 inputs.	Alan Mishchenko	2015-10-25	1	-5/+30
\|
*	Compiler warning.	Alan Mishchenko	2015-08-23	1	-1/+1
\|
*	Experiments with mapping plus small changes.	Alan Mishchenko	2015-08-23	1	-0/+69
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-0/+18
\|
*	Exprimental features in tech-mapping.	Alan Mishchenko	2014-12-21	1	-2/+16
\|
*	Adding new mapping feature.	Alan Mishchenko	2014-12-11	1	-0/+266
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	1	-0/+95
\|
*	Extending resource limit.	Alan Mishchenko	2014-09-20	1	-2/+2
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	1	-0/+69
\|
*	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
\|
*	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
\|
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-30	1	-0/+25
\|
*	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 CNF generation.	Alan Mishchenko	2014-06-18	1	-5/+8
\|
*	Specializing some truth-table functions to 6 inputs.	Alan Mishchenko	2014-06-14	1	-57/+99
\|
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	1	-1/+1
\|
*	Fix in represneting constants in a platform-independent way.	Alan Mishchenko	2014-02-10	1	-12/+12
\|
*	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
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-0/+13
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-0/+13
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-0/+46
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+44
\|
*	New technology mapper.	Alan Mishchenko	2013-07-14	1	-0/+6
\|
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-03-31	1	-2/+138
\|
*	Fixing compilation problems on Linux-32 related to constants of type ↵	Alan Mishchenko	2013-01-30	1	-61/+61
\| \| \| \|	unsigned long long.
*	DSD manager.	Alan Mishchenko	2012-11-20	1	-5/+5
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-3/+46
\|
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-0/+52
\|
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-45/+164
\|
*	Improved DSD.	Alan Mishchenko	2012-11-03	1	-1/+2
\|
*	Improved DSD.	Alan Mishchenko	2012-11-02	1	-21/+36
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-10/+2
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-462/+69
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-84/+101
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-13/+22
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-2/+4
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-2/+38
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-2/+39
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-4/+4
\|