iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various changes.	Alan Mishchenko	2020-03-28	1	-0/+10
\|
*	Experiments with simulation-based engines.	Alan Mishchenko	2020-03-25	1	-0/+17
\|
*	Experiments with simulation-based engines.	Alan Mishchenko	2020-03-22	1	-0/+10
\|
*	Updating and extending simulation data structures.	Alan Mishchenko	2020-03-05	1	-0/+7
\|
*	Adding several new utilities.	Alan Mishchenko	2020-01-27	1	-0/+102
\|
*	Updating command 'symfun' to generate symmetric functions and their NPN classes.	Alan Mishchenko	2019-05-30	1	-1/+26
\|
*	Fixing some more warnings by adding cast from 'int' to 'size_t'.	Alan Mishchenko	2019-03-05	1	-12/+12
\|
*	New APIs of the truth table package.	Alan Mishchenko	2018-09-21	1	-0/+28
\|
*	Adding command 'majgen'.	Alan Mishchenko	2018-07-04	1	-0/+69
\|
*	Updating &mfs to support hard objects.	Alan Mishchenko	2018-03-23	1	-0/+30
\|
*	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
\|