iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding command &reshape.	Alan Mishchenko	2021-09-21	1	-0/+2
*	Removing unused command.	Alan Mishchenko	2021-09-21	1	-2/+0
*	Adding place holder file for resub experiments.	Alan Mishchenko	2021-06-24	1	-0/+1
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-06-19	1	-0/+1
*	Experiments with LUT mapping for small functions.	Alan Mishchenko	2021-05-01	1	-0/+1
*	Adding new resub code.	Alan Mishchenko	2020-07-08	1	-0/+1
*	Adding commands to generate data for experiments.	Alan Mishchenko	2020-02-22	1	-0/+1
*	Adding commands to generate data for experiments.	Alan Mishchenko	2020-02-21	1	-0/+1
*	Experimental simulation based code.	Alan Mishchenko	2020-02-06	1	-0/+1
*	Forgot to update module make when adding giaDeep.c	Alan Mishchenko	2019-12-18	1	-0/+1
*	Experiments with simulation.	Alan Mishchenko	2019-10-27	1	-0/+1
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-0/+1
*	Improvements to AIG-based quantification.	Alan Mishchenko	2017-11-26	1	-0/+1
*	Experiment with mapping.	Alan Mishchenko	2017-09-15	1	-0/+1
*	Experiments with support minimization.	Alan Mishchenko	2017-04-27	1	-0/+1
*	Adding stand-alone cut computation to GIA.	Alan Mishchenko	2017-04-05	1	-0/+1
*	Code for structural unateness checking.	Alan Mishchenko	2017-03-18	1	-0/+1
*	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	1	-0/+1
*	New command &satoko.	Alan Mishchenko	2017-02-08	1	-0/+1
*	Experiments with edge-based mapping.	Alan Mishchenko	2016-06-15	1	-0/+1
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-07	1	-2/+0
*	Experiments with arithmetic circuits.	Alan Mishchenko	2016-04-28	1	-0/+1
*	Improved algo for edge computation.	Alan Mishchenko	2016-04-22	1	-0/+1
*	Command &esop to convert AIG into ESOP.	Alan Mishchenko	2016-04-09	1	-0/+1
*	Supporting edge information during mapping.	Alan Mishchenko	2016-04-06	1	-0/+1
*	Enabling native Gia visualization in &show.	Alan Mishchenko	2016-04-03	1	-0/+1
*	Windowing for technology mapping.	Alan Mishchenko	2016-03-29	1	-0/+1
*	Adding support for a different bit-blasting of a multiplier and squarer.	Alan Mishchenko	2016-02-13	1	-0/+1
*	Experiments with SAT-based mapping.	Alan Mishchenko	2016-02-07	1	-0/+1
*	Naive LUT packing algorithm (command &pack).	Alan Mishchenko	2015-09-30	1	-0/+1
*	Experiments with LUT structure mapping.	Alan Mishchenko	2015-09-27	1	-0/+1
*	Adding new command &rex2gia.	Alan Mishchenko	2015-09-22	1	-0/+1
*	Diabling pin-permutation in &nf mapper.	Alan Mishchenko	2015-02-08	1	-0/+1
*	Detecting full-adder chains and putting them into white boxes.	Alan Mishchenko	2014-11-09	1	-0/+1
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-0/+1
*	Code restructuring.	Alan Mishchenko	2014-09-16	1	-3/+4
*	Added DSD-based collapsing &dsd.	Alan Mishchenko	2014-08-16	1	-0/+1
*	Generating abstraction of standard cell library.	Alan Mishchenko	2014-07-26	1	-0/+1
*	Adding new command &sopb for resource-aware SOP balancing.	Alan Mishchenko	2014-07-21	1	-0/+1
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-28	1	-0/+1
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	1	-0/+1
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-0/+1
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+1
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+1
*	Experiment with new idea for ISO.	Alan Mishchenko	2014-05-21	1	-0/+1
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	1	-0/+1
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+1
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+1
*	False path detection.	Alan Mishchenko	2013-10-31	1	-0/+1
*	Resubstitution code.	Alan Mishchenko	2013-10-06	1	-0/+1