iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Experiments with MFFC computation.	Alan Mishchenko	2020-11-16	1	-42/+108
\|
*	Experiments with MFFC computation (bug fix).	Alan Mishchenko	2020-11-15	1	-2/+2
\|
*	Experiments with MFFC computation.	Alan Mishchenko	2020-11-15	1	-1/+96
\|
*	Experimental cost function in technology mapping.	Alan Mishchenko	2020-11-01	1	-15/+22
\|
*	Corner-case bug fixed in CNF generation.	Alan Mishchenko	2017-12-28	1	-0/+1
\|
*	Corner-case bug fixed in CNF generation.	Alan Mishchenko	2017-12-28	1	-1/+6
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+25
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-09	1	-0/+1
\|
*	Standardizing the use of new CNF generator. Adding CNF variable connectivity ↵	Alan Mishchenko	2017-02-10	1	-9/+49
\| \| \| \|	information.
*	Fixing non-reproducability related to floating-point numbers.	Alan Mishchenko	2017-01-27	1	-3/+4
\|
*	Compiler warnings.	Alan Mishchenko	2017-01-07	1	-4/+4
\|
*	Adding a debug way to print cuts used in the CNF-generator.	Alan Mishchenko	2016-07-13	1	-0/+9
\|
*	C++ compiler typecast problem.	Alan Mishchenko	2015-07-08	1	-3/+3
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	1	-2/+2
\|
*	Recommended changes for portability.	Alan Mishchenko	2014-10-12	1	-1/+1
\|
*	Adding features to CNF generation.	Alan Mishchenko	2014-09-28	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2014-08-04	1	-5/+6
\|
*	Updates and changes to several packages.	Alan Mishchenko	2014-07-20	1	-1/+2
\|
*	Improvements to representation of choices.	Alan Mishchenko	2014-07-01	1	-5/+26
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-0/+9
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-4/+2
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-1/+1
\|
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-4/+1578
\|
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	1	-0/+62