| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Experiments with SPFD-based decomposition + new K-map print-out. | Alan Mishchenko | 2011-08-20 | 4 | -16/+659 |
| * | Bug fix in CBA and PBA. | Alan Mishchenko | 2011-08-18 | 7 | -21/+45 |
| * | Bug fix in CBA and PBA. | Alan Mishchenko | 2011-08-17 | 9 | -33/+86 |
| * | Experiments with SPFD-based decomposition. | Alan Mishchenko | 2011-08-17 | 2 | -0/+370 |
| * | Bug fix in interpolation (false positive if property fails in frame 0). | Alan Mishchenko | 2011-08-14 | 2 | -4/+17 |
| * | Added switch '-t' to 'miter' to create regular miter from dual-output miter. | Alan Mishchenko | 2011-08-14 | 3 | -3/+79 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-08-06 | 7 | -25/+214 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-08-06 | 5 | -0/+28 |
| * | Bug fix in PBA. | Alan Mishchenko | 2011-08-04 | 2 | -16/+24 |
| * | added support for getting a cex vector | Baruch Sterin | 2011-08-02 | 1 | -1/+50 |
| * | Several bug fixes. | Alan Mishchenko | 2011-08-02 | 6 | -59/+163 |
| * | Added API to access the CEX vector. | Alan Mishchenko | 2011-08-02 | 2 | -0/+2 |
| * | Enabled saving vector of counter-examples in the ABC framework. | Alan Mishchenko | 2011-08-02 | 9 | -16/+112 |
| * | Changes to enable CEX minimization. | Alan Mishchenko | 2011-08-01 | 4 | -194/+370 |
| * | Changes to enable smarter simulation (bug fix). | Alan Mishchenko | 2011-08-01 | 1 | -9/+48 |
| * | Changing the ordering of arguments in two iterators. | Alan Mishchenko | 2011-08-01 | 16 | -51/+82 |
| * | Removed useless typecasts related to changes in Vec_VecEntry(). | Alan Mishchenko | 2011-08-01 | 30 | -77/+77 |
| * | Changes to enable CEX minimization. | Alan Mishchenko | 2011-08-01 | 1 | -0/+1 |
| * | Changes to enable CEX minimization. | Alan Mishchenko | 2011-08-01 | 3 | -78/+525 |
| * | Changes and simplifications in Vec_Vec_t data-structure. | Alan Mishchenko | 2011-08-01 | 1 | -34/+83 |
| * | Bug fix in &abs_cba. | Alan Mishchenko | 2011-08-01 | 3 | -10/+122 |
| * | Reducing print-out in 'bmc3'. | Alan Mishchenko | 2011-08-01 | 1 | -9/+9 |
| * | Undoing previous change in 'resim' (do not initialize flops using their value... | Alan Mishchenko | 2011-08-01 | 1 | -2/+12 |
| * | Minor bug fix in 'testcex' (made it consider outputs in direct order). | Alan Mishchenko | 2011-08-01 | 1 | -1/+2 |
| * | Minor bug fix in 'testcex'. | Alan Mishchenko | 2011-07-31 | 1 | -0/+6 |
| * | Added new APIs to the AIG manager. | Alan Mishchenko | 2011-07-31 | 1 | -0/+1 |
| * | Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^n... | Alan Mishchenko | 2011-07-31 | 2 | -9/+26 |
| * | Added new APIs to integer vector. | Alan Mishchenko | 2011-07-31 | 1 | -0/+40 |
| * | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 1 | -0/+452 |
| * | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 2 | -1/+5 |
| * | Changes to enable smarter simulation (bug fix). | Alan Mishchenko | 2011-07-30 | 1 | -0/+10 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 2 | -1/+15 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 1 | -3/+5 |
| * | Added generation of counter-examples to induction in 'ind'. | Alan Mishchenko | 2011-07-30 | 5 | -15/+70 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 5 | -891/+842 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 5 | -82/+319 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 4 | -30/+184 |
| * | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 7 | -82/+581 |
| * | Added deriving abstraction in GIA from the precomputed flop map. | Alan Mishchenko | 2011-07-29 | 7 | -62/+115 |
| * | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 14 | -2071/+949 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-29 | 6 | -85/+982 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-28 | 1 | -1/+1 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-28 | 1 | -1/+167 |
| * | Adding procedures to find the care bits of a counter-example (update). | Alan Mishchenko | 2011-07-27 | 5 | -59/+746 |
| * | Added random generation of 64-bit numbers. | Alan Mishchenko | 2011-07-27 | 2 | -3/+21 |
| * | Determine LUT size form the LUT library if present. | Alan Mishchenko | 2011-07-27 | 1 | -1/+5 |
| * | Adding procedures to find the care bits of a counter-example (update). | Alan Mishchenko | 2011-07-25 | 3 | -3/+3 |
| * | Adding procedures to find the care bits of a counter-example. | Alan Mishchenko | 2011-07-25 | 4 | -4/+435 |
| * | Enhancing printing of counter-examples. | Alan Mishchenko | 2011-07-25 | 2 | -3/+33 |
| * | Bug fix in how seq cleanup handles cand equiv classes. | Alan Mishchenko | 2011-07-25 | 1 | -1/+3 |
