| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-02 | 4 | -12/+275 |
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-01 | 1 | -1/+1 |
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-01 | 4 | -32/+255 |
* | Allow retiming to skip some logic. | Alan Mishchenko | 2021-07-31 | 4 | -9/+69 |
* | Upgrading choice computation. | Alan Mishchenko | 2021-07-31 | 5 | -27/+38 |
* | Experiments with cofactoring. | Alan Mishchenko | 2021-07-31 | 2 | -6/+288 |
* | Experimental simulation commands. | Alan Mishchenko | 2021-07-25 | 6 | -67/+575 |
* | Command to move CI/CO names. | Alan Mishchenko | 2021-07-16 | 1 | -2/+3 |
* | Command to move CI/CO names. | Alan Mishchenko | 2021-07-16 | 3 | -7/+237 |
* | Several unrelated changes. | Alan Mishchenko | 2021-07-15 | 4 | -9/+186 |
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-07-13 | 5 | -4/+479 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-11 | 1 | -1/+1 |
* | Experiments with CEC. | Alan Mishchenko | 2021-07-10 | 4 | -9/+171 |
* | Simple AIGER reader/writer. | Alan Mishchenko | 2021-07-09 | 1 | -0/+141 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -1/+0 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 2 | -4/+5 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 2 | -1/+134 |
* | Potential upgrade to 'dsec'. | Alan Mishchenko | 2021-06-25 | 1 | -0/+24 |
* | Adding place holder file for resub experiments. | Alan Mishchenko | 2021-06-24 | 4 | -7/+63 |
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-06-19 | 7 | -67/+963 |
* | Experiments with cut computation. | Alan Mishchenko | 2021-06-08 | 2 | -2/+44 |
* | Experiments with cut computation. | Alan Mishchenko | 2021-06-05 | 2 | -4/+144 |
* | Disabled special handling of 2-input LUTs. | Alan Mishchenko | 2021-06-03 | 1 | -1/+1 |
* | Disabled special handling of 2-input LUTs. | Alan Mishchenko | 2021-06-02 | 1 | -2/+4 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-26 | 4 | -7/+7 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-25 | 3 | -66/+287 |
* | Adding command &extract. | Alan Mishchenko | 2021-05-18 | 2 | -1/+84 |
* | Fixing memory leak in the SAT sweeper. | Alan Mishchenko | 2021-05-16 | 1 | -1/+1 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-16 | 1 | -1/+2 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-16 | 8 | -127/+604 |
* | Adding switch muxes -a to create networks of ADDs. | Alan Mishchenko | 2021-05-15 | 4 | -15/+38 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-11 | 2 | -38/+102 |
* | Disable cube-sort when deriving SOPs. | Alan Mishchenko | 2021-05-11 | 11 | -21/+31 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-11 | 5 | -46/+301 |
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-08 | 4 | -2/+220 |
* | Fixing mismatch in &cec -x which should return undecided rather than non-equi... | Alan Mishchenko | 2021-05-08 | 1 | -1/+1 |
* | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 1 | -1/+1 |
* | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 1 | -8/+27 |
* | Bug fix in &blut. | Alan Mishchenko | 2021-05-08 | 1 | -8/+14 |
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-05-01 | 4 | -4/+226 |
* | Making sure read_bench can read nodes up to 15 inputs. | Alan Mishchenko | 2021-04-30 | 2 | -5/+6 |
* | Several changes for standard mapping. | Alan Mishchenko | 2021-04-28 | 3 | -5/+18 |
* | Upgrade to the circuit-based solver. | Alan Mishchenko | 2021-04-27 | 12 | -367/+686 |
* | Passing node labels. | Alan Mishchenko | 2021-04-26 | 3 | -0/+10 |
* | Computing sum of PO support sizes. | Alan Mishchenko | 2021-04-09 | 2 | -1/+61 |
* | Making default value (-M 0) work correctly in &mfs. | Alan Mishchenko | 2021-04-07 | 1 | -6/+6 |
* | An option to extend the number of primary inputs. | Alan Mishchenko | 2021-03-28 | 3 | -3/+65 |
* | Compiler warnings. | Alan Mishchenko | 2021-03-28 | 1 | -3/+3 |
* | Compiler warnings. | Alan Mishchenko | 2021-03-28 | 1 | -3/+4 |
* | Command &iwls21test for evaluating the results of 2021 IWLS Contest. | Alan Mishchenko | 2021-03-28 | 4 | -0/+613 |