iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Moving BDD-based threshold function detection to the BDD part of the code.	Alan Mishchenko	2015-10-16	2	-694/+0
\|
*	Threshold logic checking code by Augusto Neutzling and Jody Matos.	Alan Mishchenko	2015-09-23	1	-231/+591
\|
*	More tuning in &nf.	Alan Mishchenko	2015-09-06	1	-1/+6
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	9	-10275/+0
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	1	-9/+1
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	1	-0/+1
\|
*	C++ compiler typecast problem.	Alan Mishchenko	2015-07-08	1	-1/+1
\|
*	Procedure to dump ZDD representing a set of cubes into a PLA file.	Alan Mishchenko	2015-04-10	2	-0/+40
\|
*	Important corner-case bug in SOP computation (recently introduced).	Alan Mishchenko	2015-04-01	1	-0/+3
\|
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-27	1	-154/+340
\|
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-20	1	-1/+292
\|
*	Changing semantics of switch -C in 'sop' to limit cubes at one node.	Alan Mishchenko	2015-02-18	3	-24/+24
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-17	1	-0/+34
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-15	1	-1/+1
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-13	1	-0/+1
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	1	-3/+4
\|
*	Adding resource limit to 'sop'.	Alan Mishchenko	2015-02-10	2	-0/+265
\|
*	Experiment with prime computation.	Alan Mishchenko	2015-01-25	1	-0/+124
\|
*	New parser and framework.	Alan Mishchenko	2014-11-29	2	-0/+20
\|
*	Added minor API to clean path on a Windows computer.	Alan Mishchenko	2014-11-05	2	-2/+24
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-28	1	-1/+1
\|
*	One bug fix and two small changes.	Alan Mishchenko	2014-10-22	2	-0/+14
\|
*	Recommended changes for portability.	Alan Mishchenko	2014-10-12	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	2	-0/+334
\|
*	Improvements to bit-blaster.	Alan Mishchenko	2014-09-30	1	-0/+2
\|
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-143/+0
\|
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-05-29	1	-3/+3
\|
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	1	-1/+1
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-27	1	-57/+442
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-2/+3
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-5/+53
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-1/+1
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-4/+19
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	2	-0/+227
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-30	1	-1/+1
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-30	1	-114/+144
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-29	1	-1/+24
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-28	1	-0/+204
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-2/+65
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	1	-3/+5
\|
*	Exploration of functions.	Alan Mishchenko	2014-04-26	2	-0/+359
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-24	1	-49/+92
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-24	1	-1/+80
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-12/+5
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-6/+17
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	2	-0/+36
\|