Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-01-21 | 2 | -2/+16 |
* | Changes to pattern generation. | Alan Mishchenko | 2021-12-26 | 1 | -32/+63 |
* | Adding new command &icec. | Alan Mishchenko | 2021-12-17 | 2 | -0/+65 |
* | Fixing a rare problem with choice nodes. | Alan Mishchenko | 2021-12-16 | 1 | -0/+26 |
* | Bug fix in blasting word-level flops. | Alan Mishchenko | 2021-12-02 | 1 | -0/+8 |
* | Merge pull request #139 from antmicro/fix-unconnected-couts-upstream | alanminko | 2021-11-10 | 1 | -1/+24 |
|\ | |||||
| * | Fix typo | Michael Gielda | 2021-10-26 | 1 | -1/+1 |
| * | Added including unconnected carry-outs in the carry-chain connection list. | Maciej Kurc | 2021-10-25 | 1 | -1/+24 |
* | | Temporary fix to a &blut problem. | Alan Mishchenko | 2021-11-07 | 1 | -2/+2 |
* | | Bug fix and new procedures. | Alan Mishchenko | 2021-11-02 | 2 | -4/+6 |
* | | New API for external calls. | Alan Mishchenko | 2021-10-26 | 1 | -0/+16 |
|/ | |||||
* | Various changes. | Alan Mishchenko | 2021-10-22 | 5 | -67/+187 |
* | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 4 | -0/+1376 |
* | Experiments with SAT solving. | Alan Mishchenko | 2021-10-09 | 2 | -0/+1366 |
* | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-07 | 1 | -57/+204 |
* | 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. | 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 |