Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added limit on the number of flops to add in one iteration of &abs_refine. | Alan Mishchenko | 2011-09-12 | 1 | -2/+20 |
* | Bug fix in CBA and PBA. | Alan Mishchenko | 2011-08-18 | 1 | -2/+2 |
* | Bug fix in CBA and PBA. | Alan Mishchenko | 2011-08-17 | 1 | -1/+1 |
* | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 1 | -50/+0 |
* | Added deriving abstraction in GIA from the precomputed flop map. | Alan Mishchenko | 2011-07-29 | 1 | -3/+3 |
* | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 1 | -0/+341 |