iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Experiments with balancing.	Alan Mishchenko	2014-06-22	1	-0/+4
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-0/+4
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+4
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+4
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-0/+4
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-0/+12
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-0/+4
*	Exploration of MFFCs.	Alan Mishchenko	2014-04-26	1	-0/+4
*	Experiments with permutations.	Alan Mishchenko	2014-04-21	1	-0/+8
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-0/+4
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	1	-0/+4
*	Implementation of DSD balancing.	Alan Mishchenko	2014-04-06	1	-0/+4
*	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	Alan Mishchenko	2014-04-05	1	-0/+4
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	1	-0/+4
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	1	-0/+4
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-20	1	-3/+7
*	Experiments with cut caching.	Alan Mishchenko	2014-03-20	1	-0/+4
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-152/+0
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-19	1	-0/+156
*	Experiments with recent ideas.	Alan Mishchenko	2014-03-18	1	-0/+4
*	Adding barrier buffers.	Alan Mishchenko	2014-03-16	1	-0/+4
*	Experiments with simulation.	Alan Mishchenko	2014-03-14	1	-0/+4
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-08	1	-0/+4
*	Experiments with delay fault testing.	Alan Mishchenko	2014-03-04	1	-0/+4
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	1	-0/+4
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-0/+4
*	Removing unused LMS code.	Alan Mishchenko	2014-02-16	1	-8/+0
*	Initial new interpolation code.	Alan Mishchenko	2014-01-28	1	-0/+4
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+4
*	False path detection.	Alan Mishchenko	2013-10-31	1	-0/+4
*	Specialized induction check.	Alan Mishchenko	2013-10-31	1	-0/+4
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	1	-0/+4
*	Resubstitution code.	Alan Mishchenko	2013-10-06	1	-0/+4
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-144/+4
*	Experiment with the AIG package.	Alan Mishchenko	2013-10-03	1	-0/+144
*	New logic sharing extraction.	Alan Mishchenko	2013-09-29	1	-0/+4
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-0/+4
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	1	-0/+4
*	Generation of plain AIG after mapping.	Alan Mishchenko	2013-09-27	1	-0/+4
*	New logic sharing extraction.	Alan Mishchenko	2013-09-26	1	-5/+1
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	1	-0/+4
*	Infrastructure to support full Liberty format and unitification of library re...	Alan Mishchenko	2013-09-15	1	-2/+10
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-10	1	-0/+4
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-0/+4
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-0/+4
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-0/+4
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-05	1	-0/+4
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+4
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-08	1	-0/+4
*	SAT solver with dynamic CNF loading.	Alan Mishchenko	2013-08-01	1	-0/+4