iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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	3	-0/+75
\|
*	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	7	-0/+581
\|
*	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
\|
*	Bug fix in 'lutpack' (level count overflow).	Alan Mishchenko	2018-06-16	4	-7/+7
\|
*	Extending NDR to support adder/subtractor.	Alan Mishchenko	2018-06-14	3	-6/+72
\|
*	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	2	-13/+249
\|
*	Bug fix (accessing unassigned memory).	Alan Mishchenko	2018-06-12	1	-1/+7
\|
*	Experiments with path enumeration.	Alan Mishchenko	2018-06-10	2	-7/+473
\|
*	Compiler warnings.	Alan Mishchenko	2018-06-08	5	-12/+13
\|
*	Improvements in bit-blasting of adders and multipliers.	Alan Mishchenko	2018-06-08	1	-8/+200
\|
*	Changing makefile to suppress warnings with GCC 5+	Alan Mishchenko	2018-06-08	1	-1/+6
\|
*	Adding switch 'clp -o' to reverse initial variable ordering.	Alan Mishchenko	2018-06-07	17	-36/+41
\|
*	Experiments with path enumeration.	Alan Mishchenko	2018-06-06	4	-1/+121
\|
*	Supporting the decoder primitive in NDR and bit-blasting.	Alan Mishchenko	2018-06-05	8	-5/+101
\|
*	Exposing a switch to generate carry-lookahead adder during bit-blasting.	Alan Mishchenko	2018-06-05	3	-15/+60
\|
*	Adding command print_mint.	Alan Mishchenko	2018-06-04	1	-0/+64
\|
*	Disabling unused feature in &nf.	Alan Mishchenko	2018-06-04	1	-0/+2
\|
*	Supporting SEL in bit-blasting.	Alan Mishchenko	2018-05-25	1	-2/+22
\|
*	Supporting NMUX and SEL in NDR.	Alan Mishchenko	2018-05-24	5	-2/+88
\|
*	Simple BDD package.	Alan Mishchenko	2018-05-23	1	-0/+395
\|
*	Simple BDD package.	Alan Mishchenko	2018-05-23	3	-1/+8
\|
*	Fix to prevent undefined behavior.	Alan Mishchenko	2018-05-19	1	-2/+2
\|
*	Bug fix in supporting signed multiplication in NDR.	Alan Mishchenko	2018-05-18	1	-6/+7
\|
*	Supporting wide MUX in NDR.	Alan Mishchenko	2018-05-16	1	-2/+7
\|
*	Bug fix in the naming of outputs in %blast -d.	Alan Mishchenko	2018-05-10	1	-3/+21
\|
*	Bug fix in &sat -x.	Alan Mishchenko	2018-05-07	2	-2/+5
\|
*	Adding &sat -x to save CEXes for multi-output combinational miters.	Alan Mishchenko	2018-05-06	4	-4/+56
\|
*	Updates to NDR format (bug fixes).	Alan Mishchenko	2018-05-03	4	-32/+39
\|
*	Updates to NDR format (flops, memories, signed mult, etc).	Alan Mishchenko	2018-04-29	10	-100/+596
\|
*	The ECO code (fix to the broken build).	Alan Mishchenko	2018-04-28	1	-2/+2
\|
*	Adding switch &w -p to dump AIG in a Verilog file.	Alan Mishchenko	2018-04-25	3	-2/+195
\|
*	The ECO code.	Alan Mishchenko	2018-04-25	1	-2/+11
\|
*	The ECO code.	Alan Mishchenko	2018-04-25	2	-8/+2500
\|
*	Typo in the command description.	Alan Mishchenko	2018-04-25	1	-5/+5
\|
*	Memory abstraction.	Alan Mishchenko	2018-04-20	4	-10/+20
\|
*	Memory abstraction.	Alan Mishchenko	2018-04-19	4	-154/+284
\|
*	Memory abstraction.	Alan Mishchenko	2018-04-15	9	-84/+1090
\|
*	Adding adder-subtractor primitive.	Alan Mishchenko	2018-04-11	1	-1/+3
\|
*	Making sure duplicated inverters are not created.	Alan Mishchenko	2018-04-11	1	-3/+9
\|