| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | 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 | 12 | -5/+2200 | |
| | | | ||||||
| * | | 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 | 2 | -2/+31 | |
| | | | ||||||
| * | | Adding dump of name mapping after blasting. | Alan Mishchenko | 2018-09-21 | 1 | -4/+34 | |
| | | | ||||||
| * | | Compiler problem. | Alan Mishchenko | 2018-09-20 | 1 | -1/+0 | |
| | | | ||||||
| * | | Preserving output names while deriving a miter. | Alan Mishchenko | 2018-09-20 | 1 | -0/+26 | |
| | | | ||||||
| * | | Preserving names while deriving a miter. | Alan Mishchenko | 2018-09-20 | 1 | -0/+2 | |
| | | | ||||||
| * | | Fixing a memory leak. | Alan Mishchenko | 2018-09-19 | 1 | -2/+2 | |
| | | | ||||||
| * | | Fixing mismatch in exact NPN computation (by XueGong Zhou) | Alan Mishchenko | 2018-09-17 | 3 | -738/+751 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 2 | -29/+50 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -2/+2 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -0/+277 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 5 | -17/+38 | |
| | | | ||||||
| * | | Suggested bug fix in 'amap'. | Alan Mishchenko | 2018-09-13 | 1 | -0/+3 | |
| | | | ||||||
| * | | Expriments with functions (cleanup). | Alan Mishchenko | 2018-09-13 | 1 | -2/+2 | |
| | | | ||||||
| * | | Expriments with functions (cleanup). | Alan Mishchenko | 2018-09-13 | 1 | -140/+59 | |
| | | | ||||||
| * | | Supporting unitialized flops in NDR. | Alan Mishchenko | 2018-09-11 | 2 | -2/+3 | |
| | | | ||||||
| * | | Expriments with functions (supporting symmetries). | Alan Mishchenko | 2018-09-11 | 3 | -96/+98 | |
| | | | ||||||
| * | | Expriments with functions (performance bug fix). | Alan Mishchenko | 2018-09-11 | 1 | -1/+5 | |
| | | | ||||||
| * | | Adding a warning about handling boxes in &mfs. | Alan Mishchenko | 2018-09-11 | 1 | -1/+11 | |
| | | | ||||||
| * | | Suspected bug fix in exact NPN classification (undoing this change as useless). | Alan Mishchenko | 2018-09-10 | 1 | -32/+8 | |
| | | | ||||||
| * | | Suspected bug fix in exact NPN classification. | Alan Mishchenko | 2018-09-08 | 1 | -8/+32 | |
| | | | ||||||
| * | | Adding timeout to twoexact and lutexact. | Alan Mishchenko | 2018-09-08 | 3 | -8/+45 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 2 | -15/+113 | |
| | | | ||||||
| * | | Hash table profiling. | Alan Mishchenko | 2018-09-08 | 2 | -0/+15 | |
| | | | ||||||
| * | | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-08 | 1 | -30/+35 | |
| | | | ||||||
| * | | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-08 | 1 | -33/+38 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -0/+1 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 2 | -47/+195 | |
| | | | ||||||
| * | | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 4 | -13/+35 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 3 | -30/+33 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 2 | -0/+325 | |
| | | | ||||||
| * | | Adding solution dumping in BLIF to 'twoexact'. | Alan Mishchenko | 2018-09-03 | 1 | -0/+56 | |
| | | | ||||||
| * | | Expriments with functions (compiler warnings). | Alan Mishchenko | 2018-08-30 | 2 | -2/+5 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -9/+15 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 2 | -109/+172 | |
| | | | ||||||
| * | | Skip non-driven nodes during DFS. | Alan Mishchenko | 2018-08-26 | 2 | -0/+3 | |
| | | | ||||||
| * | | Complication problem fix. | Alan Mishchenko | 2018-08-19 | 2 | -2/+1 | |
| | | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |