iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	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