Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 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 |
| |