| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Bug fix in WLN datastructure. | Alan Mishchenko | 2019-01-03 | 1 | -1/+1 |
| * | Fixing float overflow during area-flow computation in &lf. | Alan Mishchenko | 2018-12-13 | 1 | -0/+8 |
| * | Fixing float overflow during edge-flow computation in 'if' mapper (change to ... | Alan Mishchenko | 2018-12-12 | 1 | -0/+8 |
| * | Fixing float overflow during edge-flow computation in 'if' mapper. | Alan Mishchenko | 2018-12-12 | 1 | -3/+7 |
| * | Updated for memory abstraction. | Alan Mishchenko | 2018-12-11 | 3 | -9/+18 |
| * | Experiments with retiming (adding new APIs). | Alan Mishchenko | 2018-12-09 | 15 | -53/+132 |
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-06 | 1 | -1/+3 |
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-06 | 4 | -27/+65 |
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-04 | 5 | -29/+125 |
| * | fix: header <malloc.h> is depreciated | Nathan Zhou | 2018-11-30 | 1 | -1/+1 |
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 42 | -79/+83 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -7/+7 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 3 | -2/+82 |
| * | Adding an option to write new-line after the comment symbol when dumping an A... | Alan Mishchenko | 2018-11-20 | 1 | -2/+7 |
| * | Various usability changes. | Alan Mishchenko | 2018-11-18 | 1 | -1/+1 |
| * | Various usability changes. | Alan Mishchenko | 2018-11-18 | 10 | -18/+179 |
| * | Undoing some of the previous changes. | Alan Mishchenko | 2018-11-15 | 1 | -1/+5 |
| * | Adding dummy flop in 'pdr' when the network is comb. | Alan Mishchenko | 2018-11-13 | 1 | -11/+13 |
| * | Compiler warning. | Alan Mishchenko | 2018-11-11 | 1 | -1/+1 |
| * | Usability improvements to &fftest. | Alan Mishchenko | 2018-11-11 | 3 | -11/+32 |
| * | Procedures to verify equivalence classes. | Alan Mishchenko | 2018-11-11 | 1 | -1/+139 |
| * | Added a passthrough in command 'fold' if there are no POs, only constraints. | Alan Mishchenko | 2018-11-11 | 1 | -0/+5 |
| * | Undoing an old change, which affects BDD variable reordering on some examples... | Alan Mishchenko | 2018-11-10 | 1 | -1/+1 |
| * | Several recent bug fixes. | Alan Mishchenko | 2018-11-04 | 4 | -6/+10 |
| * | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-23 | 1 | -0/+1 |
| * | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-23 | 1 | -0/+1 |
| * | Merge pull request #25 from hriener/common | alanminko | 2018-10-22 | 1 | -1/+1 |
| |\ |
|
| | * | extraUtilPerm: Abc_ZddDiff. | Heinz Riener | 2018-10-21 | 1 | -1/+1 |
| * | | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-22 | 1 | -0/+1 |
| * | | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-22 | 2 | -1/+27 |
| |/ |
|
| * | Merge pull request #13 from hriener/exorcism | alanminko | 2018-10-18 | 2 | -21/+133 |
| |\ |
|
| | * | &exorcism: read ESOP-PLA from file. | Heinz Riener | 2018-10-17 | 2 | -3/+15 |
| | * | &exorcism: read ESOP-PLA from file. | Heinz Riener | 2018-05-25 | 2 | -21/+121 |
| * | | Skip cells in Liberty files which have dont_use attribute. | Alan Mishchenko | 2018-10-18 | 2 | -3/+56 |
| * | | Suggested fix: close file. | Alan Mishchenko | 2018-10-16 | 1 | -1/+2 |
| * | | Compiler warning. | Alan Mishchenko | 2018-10-12 | 1 | -5/+5 |
| * | | Extending extra library with additional ZDD-based procedures. | Alan Mishchenko | 2018-10-12 | 4 | -0/+2048 |
| * | | Corner-case bug fix in LUT to AIG translation. | Alan Mishchenko | 2018-10-09 | 1 | -0/+4 |
| * | | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -1/+1 |
| * | | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -5/+5 |
| * | | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -2/+33 |
| * | | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 3 | -24/+210 |
| * | | Visualizingn BDDs without complemented edges in 'show_bdd'. | Alan Mishchenko | 2018-09-30 | 2 | -13/+36 |
| * | | Compiler warning. | Alan Mishchenko | 2018-09-30 | 1 | -1/+1 |
| * | | Experiments with word-level retiming. | Alan Mishchenko | 2018-09-30 | 10 | -4/+2167 |
| * | | Adding switch to 'write_pla' to write random onset minterms of the first PO f... | Alan Mishchenko | 2018-09-29 | 1 | -2/+8 |
| * | | Adding switch to 'write_pla' to write random onset minterms of the first PO f... | Alan Mishchenko | 2018-09-28 | 2 | -10/+154 |
| * | | Adding command 'cof' to replace node by a constant (bug fix). | Alan Mishchenko | 2018-09-28 | 1 | -2/+3 |
| * | | Adding command 'cof' to replace node by a constant. | Alan Mishchenko | 2018-09-27 | 3 | -17/+112 |
| * | | Adding visualization of global BDDs in 'show_bdd'. | Alan Mishchenko | 2018-09-27 | 2 | -9/+81 |
