Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiment with partitioned &scorr. | Alan Mishchenko | 2019-01-15 | 1 | -6/+15 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 1 | -1/+1 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-08 | 1 | -1/+2 |
| | |||||
* | Bug fix in WLN datastructure. | Alan Mishchenko | 2019-01-03 | 1 | -1/+1 |
| | |||||
* | Updated for memory abstraction. | Alan Mishchenko | 2018-12-11 | 3 | -9/+18 |
| | |||||
* | Experiments with retiming (adding new APIs). | Alan Mishchenko | 2018-12-09 | 13 | -53/+123 |
| | |||||
* | 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 | 11 | -28/+33 |
| | |||||
* | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -7/+7 |
| | |||||
* | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 2 | -2/+79 |
| | |||||
* | Various usability changes. | Alan Mishchenko | 2018-11-18 | 9 | -18/+178 |
| | |||||
* | 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 | 1 | -4/+8 |
| | |||||
* | Added a passthrough in command 'fold' if there are no POs, only constraints. | Alan Mishchenko | 2018-11-11 | 1 | -0/+5 |
| | |||||
* | Several recent bug fixes. | Alan Mishchenko | 2018-11-04 | 2 | -2/+7 |
| | |||||
* | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-22 | 1 | -0/+1 |
| | |||||
* | Merge pull request #13 from hriener/exorcism | alanminko | 2018-10-18 | 2 | -21/+133 |
|\ | | | | | exorcism. | ||||
| * | &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 |
| | | |||||
* | | Suggested fix: close file. | Alan Mishchenko | 2018-10-16 | 1 | -1/+2 |
| | | |||||
* | | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -9/+13 |
| | | |||||
* | | 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 | 9 | -2/+2162 |
| | | |||||
* | | Adding switch to 'write_pla' to write random onset minterms of the first PO ↵ | Alan Mishchenko | 2018-09-29 | 1 | -2/+8 |
| | | | | | | | | function (bug fix). | ||||
* | | Adding switch to 'write_pla' to write random onset minterms of the first PO ↵ | Alan Mishchenko | 2018-09-28 | 2 | -10/+154 |
| | | | | | | | | function. | ||||
* | | 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 |
| | | |||||
* | | New way of blasting complex flops. | Alan Mishchenko | 2018-09-25 | 1 | -18/+101 |
| | | |||||
* | | New way of blasting complex flops. | Alan Mishchenko | 2018-09-24 | 1 | -2/+2 |
| | | |||||
* | | New way of blasting complex flops. | Alan Mishchenko | 2018-09-24 | 1 | -4/+206 |
| | | |||||
* | | Support for flops with complex controls. | Alan Mishchenko | 2018-09-22 | 5 | -16/+55 |
| | | |||||
* | | New APIs of the truth table package. | Alan Mishchenko | 2018-09-21 | 1 | -2/+3 |
| | | |||||
* | | Adding dump of name mapping after blasting. | Alan Mishchenko | 2018-09-21 | 1 | -4/+34 |
| | | |||||
* | | Fixing a memory leak. | Alan Mishchenko | 2018-09-19 | 1 | -2/+2 |
| | | |||||
* | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -14/+18 |
| | | |||||
* | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 2 | -15/+31 |
| | | |||||
* | | Supporting unitialized flops in NDR. | Alan Mishchenko | 2018-09-11 | 2 | -2/+3 |
| | | |||||
* | | Expriments with functions (supporting symmetries). | Alan Mishchenko | 2018-09-11 | 2 | -7/+9 |
| | | |||||
* | | Adding a warning about handling boxes in &mfs. | Alan Mishchenko | 2018-09-11 | 1 | -1/+11 |
| | | |||||
* | | Adding timeout to twoexact and lutexact. | Alan Mishchenko | 2018-09-08 | 1 | -5/+29 |
| | | |||||
* | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -5/+21 |
| | | |||||
* | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -7/+7 |
| | | |||||
* | | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 1 | -0/+11 |
| | | |||||
* | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 1 | -4/+0 |
| | |