| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | 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 | 4 | -0/+273 | |
| | | | ||||||
| * | | 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 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |