iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Expriments with functions (supporting symmetries).	Alan Mishchenko	2018-09-11	3	-96/+98
\|
*	Expriments with functions (performance bug fix).	Alan Mishchenko	2018-09-11	1	-1/+5
\|
*	Adding a warning about handling boxes in &mfs.	Alan Mishchenko	2018-09-11	1	-1/+11
\|
*	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
\|
*	Adding timeout to twoexact and lutexact.	Alan Mishchenko	2018-09-08	3	-8/+45
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-08	2	-15/+113
\|
*	Hash table profiling.	Alan Mishchenko	2018-09-08	2	-0/+15
\|
*	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	2	-47/+195
\|
*	Expriments with functions (bug fixes).	Alan Mishchenko	2018-09-07	4	-13/+35
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-07	3	-30/+33
\|
*	Expriments with functions.	Alan Mishchenko	2018-09-07	2	-0/+325
\|
*	Adding solution dumping in BLIF to 'twoexact'.	Alan Mishchenko	2018-09-03	1	-0/+56
\|
*	Expriments with functions (compiler warnings).	Alan Mishchenko	2018-08-30	2	-2/+5
\|
*	Expriments with functions.	Alan Mishchenko	2018-08-29	1	-9/+15
\|
*	Expriments with functions.	Alan Mishchenko	2018-08-29	2	-109/+172
\|
*	Skip non-driven nodes during DFS.	Alan Mishchenko	2018-08-26	2	-0/+3
\|
*	Complication problem fix.	Alan Mishchenko	2018-08-19	2	-2/+1
\|
*	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	3	-0/+269
\|
*	Adding procedure to compute tuples of k out of n as a BDD.	Alan Mishchenko	2018-07-29	2	-0/+161
\|
*	Procedure to return seq equivalences.	Alan Mishchenko	2018-07-22	2	-0/+71
\|
*	Counting ones in truth table.	Alan Mishchenko	2018-07-21	4	-15/+489
\|
*	Bug fix in 'gen -b'.	Alan Mishchenko	2018-07-08	1	-3/+3
\|
*	Updating command 'majgen'.	Alan Mishchenko	2018-07-04	2	-18/+24
\|
*	Bug fix.	Alan Mishchenko	2018-07-04	1	-1/+0
\|
*	Updating command 'majgen'.	Alan Mishchenko	2018-07-04	3	-76/+73
\|
*	Generating adder-trees using 'gen -b -A <num> -N <num> <file>.v'.	Alan Mishchenko	2018-07-04	2	-2/+81
\|
*	Adding command 'majgen'.	Alan Mishchenko	2018-07-04	6	-0/+577
\|
*	Bug fix by Horus Nero.	Alan Mishchenko	2018-06-25	1	-1/+1
\|
*	Path enumeration using SAT.	Alan Mishchenko	2018-06-20	1	-0/+84
\|
*	Bug fix in polynomial construction.	Alan Mishchenko	2018-06-20	1	-3/+3
\|
*	Command %blastmem for bit-blasting small memories.	Alan Mishchenko	2018-06-16	4	-1/+182
\|