Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Compiler warning. | Alan Mishchenko | 2021-10-06 | 1 | -1/+1 | |
| | ||||||
* | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-06 | 2 | -0/+322 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-10-06 | 1 | -0/+1 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-30 | 6 | -1/+1211 | |
| | ||||||
* | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -1/+1 | |
| | ||||||
* | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 3 | -7/+7 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-26 | 1 | -4/+56 | |
| | ||||||
* | Experiment with simulation. | Alan Mishchenko | 2021-09-22 | 1 | -2/+55 | |
| | ||||||
* | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -2/+2 | |
| | ||||||
* | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -15/+15 | |
| | ||||||
* | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -2/+2 | |
| | ||||||
* | Removing unused command. | Alan Mishchenko | 2021-09-21 | 1 | -2/+0 | |
| | ||||||
* | Improving MiniAIG and name manager. | Alan Mishchenko | 2021-09-16 | 2 | -12/+16 | |
| | ||||||
* | Further debugging of MiniLUT APIs. | Alan Mishchenko | 2021-09-16 | 1 | -1/+72 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-14 | 2 | -1/+135 | |
| | ||||||
* | Bug fix in MiniLUT code. | Alan Mishchenko | 2021-09-13 | 1 | -1/+1 | |
| | ||||||
* | Bug fix in logic optimization. | Alan Mishchenko | 2021-09-06 | 1 | -1/+18 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-04 | 1 | -2/+2 | |
| | ||||||
* | Additional MiniLUT API. | Alan Mishchenko | 2021-09-03 | 1 | -0/+17 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-02 | 7 | -27/+200 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 2 | -2/+2 | |
| | ||||||
* | Adding input/output/flop name reading in command &r. | Alan Mishchenko | 2021-08-22 | 3 | -2/+114 | |
| | ||||||
* | Support of pair-wise miter and other changes. | Alan Mishchenko | 2021-08-22 | 4 | -0/+561 | |
| | ||||||
* | Merge pull request #132 from jamesjer/aliasing | alanminko | 2021-08-19 | 1 | -1/+3 | |
|\ | | | | | Fix violation of C strict aliasing rules. | |||||
| * | Fix violation of C strict aliasing rules. | Jerry James | 2021-08-09 | 1 | -1/+3 | |
| | | ||||||
* | | Extending &trim to trim structurally equivalent primary outputs. | Alan Mishchenko | 2021-08-19 | 2 | -0/+127 | |
| | | ||||||
* | | Improving AIG to Verilog converter. | Alan Mishchenko | 2021-08-17 | 2 | -24/+67 | |
|/ | ||||||
* | Adding node ordering options to command &dfs. | Alan Mishchenko | 2021-08-05 | 2 | -7/+32 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-02 | 1 | -1/+0 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-02 | 2 | -4/+217 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-01 | 2 | -6/+211 | |
| | ||||||
* | Experiments with cofactoring. | Alan Mishchenko | 2021-07-31 | 1 | -0/+265 | |
| | ||||||
* | Experimental simulation commands. | Alan Mishchenko | 2021-07-25 | 2 | -1/+116 | |
| | ||||||
* | Command to move CI/CO names. | Alan Mishchenko | 2021-07-16 | 1 | -1/+2 | |
| | ||||||
* | Several unrelated changes. | Alan Mishchenko | 2021-07-15 | 3 | -9/+119 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-07-13 | 2 | -1/+420 | |
| | ||||||
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-11 | 1 | -1/+1 | |
| | ||||||
* | Experiments with CEC. | Alan Mishchenko | 2021-07-10 | 2 | -3/+143 | |
| | ||||||
* | 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 | 1 | -0/+1 | |
| | ||||||
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -0/+79 | |
| | ||||||
* | Adding place holder file for resub experiments. | Alan Mishchenko | 2021-06-24 | 3 | -1/+56 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-06-19 | 4 | -39/+867 | |
| | ||||||
* | Experiments with cut computation. | Alan Mishchenko | 2021-06-08 | 2 | -2/+44 | |
| | ||||||
* | Experiments with cut computation. | Alan Mishchenko | 2021-06-05 | 1 | -4/+143 | |
| | ||||||
* | Disabled special handling of 2-input LUTs. | Alan Mishchenko | 2021-06-02 | 1 | -2/+4 | |
| | ||||||
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-26 | 2 | -6/+4 | |
| | ||||||
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-25 | 1 | -31/+167 | |
| | ||||||
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-16 | 1 | -1/+2 | |
| |