| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | 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 | 4 | -74/+447 |
| * | 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 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-13 | 1 | -0/+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 | 5 | -3/+98 |
| * | Printing out the path/name of the resource file that is being sourced. | Alan Mishchenko | 2011-07-02 | 1 | -0/+7 |
| * | 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 |
| * | Merged two last changes. | Alan Mishchenko | 2011-06-25 | 3 | -0/+134 |
| |\ |
|
| | * | Added dumping CEXes in AIGER format. | Alan Mishchenko | 2011-06-21 | 3 | -0/+134 |
| * | | 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 | 3 | -0/+287 |
| * | 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 | 2 | -0/+95 |
| * | Bug fix in 'swappos'. | Alan Mishchenko | 2011-06-03 | 1 | -0/+9 |
| * | Added new command 'outdec'. | Alan Mishchenko | 2011-05-19 | 2 | -0/+109 |
| * | Special BLIF writing (bug fixes). | Alan Mishchenko | 2011-05-18 | 2 | -23/+41 |
| * | Special BLIF writing. | Alan Mishchenko | 2011-05-18 | 6 | -4/+339 |
| * | Improvements to timeout. | Alan Mishchenko | 2011-05-11 | 1 | -2/+4 |
| * | 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 | 2 | -6/+6 |
| * | 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 | 2 | -50/+73 |
| * | Commented out debug messages. | Alan Mishchenko | 2011-04-26 | 2 | -3/+3 |
| * | Made testcex reset the number of the PO that failed. | Alan Mishchenko | 2011-04-25 | 1 | -4/+14 |
| * | Added support for AIG returned in the output file. | Alan Mishchenko | 2011-04-24 | 1 | -8/+34 |
| * | 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 |
| * | Fixing compilation problem which resulting from defining 'int c' as 'char c'. | Alan Mishchenko | 2011-04-19 | 1 | -2/+2 |
