iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updating features of &if mapper.	Alan Mishchenko	2022-10-09	1	-1/+25
\|
*	Supporting new resub problem format.	Alan Mishchenko	2022-06-02	1	-0/+18
\|
*	Various changes.	Alan Mishchenko	2021-10-22	1	-15/+15
\|
*	Various changes.	Alan Mishchenko	2021-09-30	1	-4/+44
\|
*	Various changes.	Alan Mishchenko	2021-09-02	1	-0/+6
\|
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-08-02	1	-1/+55
\|
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-08-01	1	-1/+1
\|
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-08-01	1	-25/+42
\|
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-06-19	1	-0/+49
\|
*	Experiments with simulation.	Alan Mishchenko	2020-12-30	1	-0/+12
\|
*	Experimental resubstitution.	Alan Mishchenko	2020-05-03	1	-0/+146
\|
*	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
\|