| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Adding procedures to find the care bits of a counter-example (update). | Alan Mishchenko | 2011-07-25 | 1 | -1/+1 |
| * | Adding procedures to find the care bits of a counter-example. | Alan Mishchenko | 2011-07-25 | 1 | -4/+3 |
| * | Adding &equiv3, a new way of refining equivalence classes. | Alan Mishchenko | 2011-07-22 | 2 | -2/+190 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-21 | 2 | -11/+188 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-21 | 1 | -5/+14 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-20 | 1 | -74/+339 |
| * | New demitering features. | Alan Mishchenko | 2011-07-20 | 2 | -6/+63 |
| * | Fixed assertion failure when mitering with choices. | Alan Mishchenko | 2011-07-20 | 1 | -2/+2 |
| * | Corner case bug fix in 'speedup'. | Alan Mishchenko | 2011-07-20 | 1 | -1/+1 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-16 | 1 | -1/+17 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-15 | 1 | -6/+56 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-15 | 1 | -0/+48 |
| * | Added switch to PDR to disable expensive generalization step. | Alan Mishchenko | 2011-07-13 | 1 | -2/+6 |
| * | Added equivalence class computation for flop outputs only in &equiv2. | Alan Mishchenko | 2011-07-13 | 1 | -4/+9 |
| * | Other changes to enable new features in the mapper. | Alan Mishchenko | 2011-07-10 | 2 | -10/+31 |
| * | Initial changes to enable new features in the mapper | Alan Mishchenko | 2011-07-08 | 2 | -1/+92 |
| * | Fixing a typo, which led to not printing delay in 'ps' after SC mapping. | Alan Mishchenko | 2011-07-02 | 1 | -1/+1 |
| * | Added a new demitering feature for dual-output miters. | Alan Mishchenko | 2011-07-02 | 2 | -5/+100 |
| * | Added another specialized check to the mapper. | Alan Mishchenko | 2011-06-27 | 1 | -12/+25 |
| * | Updated 'iprove' to generate seq CEX when CEC fails (small fix). | Alan Mishchenko | 2011-06-25 | 1 | -1/+0 |
| * | Updated 'iprove' to generate seq CEX when CEC fails. | Alan Mishchenko | 2011-06-25 | 2 | -2/+8 |
| * | Added new mapping feature. | Alan Mishchenko | 2011-06-20 | 1 | -2/+22 |
| * | Added permute/unpermute. | Alan Mishchenko | 2011-06-20 | 1 | -2/+2 |
| * | Added permute/unpermute. | Alan Mishchenko | 2011-06-20 | 1 | -0/+116 |
| * | Disabled duplication of the network while removing POs in 'zeropo'. | Alan Mishchenko | 2011-06-15 | 1 | -4/+5 |
| * | Added command &filter to filter equiv classes. | Alan Mishchenko | 2011-06-15 | 1 | -1/+80 |
| * | Disabled duplication of the network while removing POs in 'removepo'. | Alan Mishchenko | 2011-06-14 | 1 | -4/+5 |
| * | Adding command 'srm2' (additional feature). | Alan Mishchenko | 2011-06-08 | 1 | -4/+13 |
| * | Adding command 'srm2'. | Alan Mishchenko | 2011-06-08 | 1 | -1/+2 |
| * | Adding command 'srm2'. | Alan Mishchenko | 2011-06-08 | 1 | -0/+91 |
| * | Adding command 'removepo'. | Alan Mishchenko | 2011-06-03 | 1 | -0/+77 |
| * | Added new command 'outdec'. | Alan Mishchenko | 2011-05-19 | 2 | -0/+109 |
| * | Special BLIF writing. | Alan Mishchenko | 2011-05-18 | 1 | -0/+23 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-08 | 1 | -3/+2 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-07 | 1 | -3/+19 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-07 | 1 | -15/+15 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-06 | 2 | -11/+50 |
| * | Trying to fix a mysterious bug in reading the library files. | Alan Mishchenko | 2011-05-06 | 1 | -4/+4 |
| * | Updating testcext to ignore the diff in register count and other things. | Alan Mishchenko | 2011-05-01 | 1 | -11/+30 |
| * | Added new options to testcex. | Alan Mishchenko | 2011-04-28 | 1 | -49/+72 |
| * | Made testcex reset the number of the PO that failed. | Alan Mishchenko | 2011-04-25 | 1 | -4/+14 |
| * | Added switch to control duplication of logic after mapping. | Alan Mishchenko | 2011-04-24 | 2 | -3/+7 |
| * | Bug fixes having to do with the use of chars. | Alan Mishchenko | 2011-04-20 | 1 | -0/+8 |
| * | Fixing c++ portability issues. | Alan Mishchenko | 2011-04-20 | 1 | -10/+2 |
| * | Adding constant correspondence. | Alan Mishchenko | 2011-04-18 | 1 | -13/+34 |
| * | Added command 'reconcile'. | Alan Mishchenko | 2011-04-16 | 1 | -2/+99 |
| * | Added cex generation for clustered reachability (forgot one file). | Alan Mishchenko | 2011-04-16 | 1 | -2/+2 |
| * | Added cex generation for clustered reachability. | Alan Mishchenko | 2011-04-16 | 1 | -0/+6 |
| * | Improving timeout in the interpolation package. | Alan Mishchenko | 2011-04-15 | 1 | -5/+0 |
| * | Further improvements to reachability. | Alan Mishchenko | 2011-04-15 | 1 | -7/+13 |
