iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Corner-case bug fix in LUT to AIG translation.	Alan Mishchenko	2018-10-09	1	-0/+4
\|
*	Experiments with Boolean functions.	Alan Mishchenko	2018-10-02	1	-1/+1
\|
*	Experiments with Boolean functions.	Alan Mishchenko	2018-10-02	1	-5/+5
\|
*	Experiments with Boolean functions.	Alan Mishchenko	2018-10-02	1	-2/+33
\|
*	Experiments with Boolean functions.	Alan Mishchenko	2018-10-02	1	-13/+195
\|
*	Compiler problem.	Alan Mishchenko	2018-09-20	1	-1/+0
\|
*	Fixing mismatch in exact NPN computation (by XueGong Zhou)	Alan Mishchenko	2018-09-17	3	-738/+751
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-16	1	-15/+32
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-16	1	-2/+2
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-16	1	-0/+277
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-16	2	-2/+3
\|
*	Expriments with functions (cleanup).	Alan Mishchenko	2018-09-13	1	-2/+2
\|
*	Expriments with functions (cleanup).	Alan Mishchenko	2018-09-13	1	-140/+59
\|
*	Expriments with functions (supporting symmetries).	Alan Mishchenko	2018-09-11	1	-89/+89
\|
*	Expriments with functions (performance bug fix).	Alan Mishchenko	2018-09-11	1	-1/+5
\|
*	Suspected bug fix in exact NPN classification (undoing this change as useless).	Alan Mishchenko	2018-09-10	1	-32/+8
\|
*	Suspected bug fix in exact NPN classification.	Alan Mishchenko	2018-09-08	1	-8/+32
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-08	1	-10/+92
\|
*	Hash table profiling.	Alan Mishchenko	2018-09-08	1	-0/+1
\|
*	Expriments with functions (bug fixes).	Alan Mishchenko	2018-09-08	1	-30/+35
\|
*	Expriments with functions (bug fixes).	Alan Mishchenko	2018-09-08	1	-33/+38
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-08	1	-0/+1
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-08	1	-40/+188
\|
*	Expriments with functions (bug fixes).	Alan Mishchenko	2018-09-07	2	-12/+23
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-07	2	-26/+33
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-07	1	-0/+258
\|
*	Expriments with functions (compiler warnings).	Alan Mishchenko	2018-08-30	1	-2/+4
\|
*	Expriments with functions.	Alan Mishchenko	2018-08-29	1	-9/+15
\|
*	Expriments with functions.	Alan Mishchenko	2018-08-29	1	-109/+171
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-16/+61
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-7/+8
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-2/+2
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-5/+4
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-2/+2
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-1/+1
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-1/+3
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-7/+2
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-7/+11
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-5/+5
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-1/+6
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-2/+2
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-4/+5
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-4/+4
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	1	-2/+6
\|
*	Experiments with function enumeration.	Alan Mishchenko	2018-08-01	2	-0/+268
\|
*	Counting ones in truth table.	Alan Mishchenko	2018-07-21	4	-15/+489
\|
*	Updating command 'majgen'.	Alan Mishchenko	2018-07-04	2	-4/+52
\|
*	Bug fix by Horus Nero.	Alan Mishchenko	2018-06-25	1	-1/+1
\|
*	Bug fix in 'lutpack' (level count overflow).	Alan Mishchenko	2018-06-16	3	-6/+7
\|
*	Compiler warnings.	Alan Mishchenko	2018-06-08	1	-7/+7
\|