iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding switch to &if to consider special type of 6-input cuts.	Alan Mishchenko	2019-09-26	1	-0/+56
\|
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵	Alan Mishchenko	2019-03-05	5	-8/+8
\| \| \| \|	memcpy, etc.
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	2	-2/+2
\|
*	Bug fix in polynomial construction.	Alan Mishchenko	2018-06-20	1	-3/+3
\|
*	Enabling user-specified output signature in &polyn (bug fix).	Alan Mishchenko	2018-06-13	1	-1/+1
\|
*	Enabling user-specified output signature in &polyn.	Alan Mishchenko	2018-06-13	1	-7/+217
\|
*	Experiments with multipliers.	Alan Mishchenko	2017-03-28	1	-1/+3
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-26	1	-1/+1
\|
*	Experiments with multipliers.	Alan Mishchenko	2017-03-26	2	-175/+463
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-03-22	2	-0/+928
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-30	4	-5/+400
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-29	4	-143/+152
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-28	5	-10/+422
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-19	3	-24/+90
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-16	5	-30/+55
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-15	7	-23/+359
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-14	5	-28/+157
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-14	6	-94/+171
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-13	3	-268/+298
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-13	2	-2/+63
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-12	4	-9/+452
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-11	6	-214/+297
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-11	4	-31/+257
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-10	3	-4/+283
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-10	8	-47/+71
\|
*	Updated to arithmetic verification.	Alan Mishchenko	2017-01-09	4	-11/+421
\|
*	Compiler warnings.	Alan Mishchenko	2017-01-07	1	-1/+1
\|
*	C++ compatibility fix.	Alan Mishchenko	2016-12-28	1	-0/+2
\|
*	Several changes in arithmetic circuit manipulation.	Alan Mishchenko	2016-12-22	3	-1/+311
\|
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	1	-0/+204
\|
*	Compiler warnings.	Alan Mishchenko	2016-12-05	1	-1/+1
\|
*	Analysis of arithmetic logic cones.	Alan Mishchenko	2016-12-04	4	-18/+351
\|
*	Changes to arithmetic logic detection.	Alan Mishchenko	2016-12-02	6	-59/+724
\|
*	Small changes in handling arithmetic logic.	Alan Mishchenko	2016-11-30	1	-2/+8
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-2/+2
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-0/+420
\|
*	Code for profiling arithmetic circuits.	Alan Mishchenko	2016-10-21	1	-0/+1
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2016-10-09	2	-38/+164
\|
*	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	2	-2/+1
\|
*	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-05	2	-0/+320
\|
*	Experimental code for polynomial construction.	Alan Mishchenko	2016-09-03	2	-0/+1000
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	1	-35/+54
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2016-08-05	5	-9/+313
\|
*	Small changes for today's experiments.	Alan Mishchenko	2016-06-03	1	-2/+2
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-11	6	-66/+150
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-08	6	-114/+198
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-07	1	-1/+1
\|
*	Experiments with CEC for arithmetic circuits.	Alan Mishchenko	2016-05-07	9	-0/+2080