iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Another variation on exact synthesis.	Alan Mishchenko	2017-10-11	1	-1/+1
*	Improvements to truth table manipulation.	Alan Mishchenko	2017-10-05	1	-98/+37
*	Updates and bug fixes.	Alan Mishchenko	2017-10-04	1	-0/+3
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	1	-8/+32
*	Exact synthesis of majority gates.	Alan Mishchenko	2017-10-01	1	-1/+214
*	Maintenance and updates.	Alan Mishchenko	2017-09-18	1	-0/+82
*	Logic restructuring after mapping.	Alan Mishchenko	2017-04-19	1	-1/+8
*	Logic restruturing after mapping.	Alan Mishchenko	2017-04-17	1	-1/+45
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-0/+16
*	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 unsigned...	Alan Mishchenko	2013-01-30	1	-61/+61
*	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