| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Diagnostic printout for random simulation | Alan Mishchenko | 2011-07-16 | 1 | -0/+118 |
| * | Fixed a glitch in &dch, which removed the flops. | Alan Mishchenko | 2011-07-16 | 1 | -0/+1 |
| * | 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 |
| * | Reduced default growth rate of vectors in the SAT solver. | Alan Mishchenko | 2011-07-13 | 1 | -2/+4 |
| * | Added switch to PDR to disable expensive generalization step. | Alan Mishchenko | 2011-07-13 | 3 | -68/+77 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-13 | 2 | -1/+7 |
| * | Fixed memory leak in the AIGER reader. | Alan Mishchenko | 2011-07-13 | 1 | -0/+1 |
| * | Added equivalence class computation for flop outputs only in &equiv2. | Alan Mishchenko | 2011-07-13 | 2 | -8/+13 |
| * | Modified the PDR print-out to be compatible with Niklas. | Alan Mishchenko | 2011-07-12 | 1 | -3/+3 |
| * | Added printout of flop names in the PLA file representing the invariant. | Alan Mishchenko | 2011-07-11 | 1 | -0/+16 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-11 | 1 | -1/+1 |
| * | Other changes to enable new features in the mapper. | Alan Mishchenko | 2011-07-10 | 9 | -38/+471 |
| * | Initial changes to enable new features in the mapper | Alan Mishchenko | 2011-07-08 | 9 | -7/+165 |
| * | 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 | 6 | -5/+180 |
| * | Added another specialized check to the mapper. | Alan Mishchenko | 2011-06-27 | 6 | -20/+541 |
| * | The cube in PDR can have more than 2^15 literals. | Alan Mishchenko | 2011-06-27 | 2 | -4/+4 |
| * | Fixed the problem in mapping with the new check. | Alan Mishchenko | 2011-06-26 | 4 | -20/+31 |
| * | 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 | 4 | -2/+34 |
| |/ |
|
| * | Added new mapping feature. | Alan Mishchenko | 2011-06-20 | 6 | -4/+523 |
| * | 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 | 3 | -138/+471 |
| * | 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 | 2 | -5/+22 |
| * | Adding command 'srm2'. | Alan Mishchenko | 2011-06-08 | 1 | -1/+2 |
| * | Adding command 'srm2'. | Alan Mishchenko | 2011-06-08 | 3 | -2/+225 |
| * | 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 | 5 | -0/+317 |
| * | Special BLIF writing (bug fixes). | Alan Mishchenko | 2011-05-18 | 3 | -49/+50 |
| * | Special BLIF writing. | Alan Mishchenko | 2011-05-18 | 7 | -9/+540 |
| * | Added conversion of cex after phase abstraction. | Alan Mishchenko | 2011-05-18 | 1 | -0/+43 |
| * | Fixing mismatch in reconcile. | Alan Mishchenko | 2011-05-13 | 1 | -1/+11 |
| * | Improvements to timeout. | Alan Mishchenko | 2011-05-11 | 4 | -56/+188 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-08 | 1 | -0/+409 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-08 | 3 | -3/+5 |
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-07 | 5 | -11/+31 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-07 | 2 | -20/+179 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-07 | 1 | -9/+4 |
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-06 | 3 | -16/+65 |
| * | Trying to fix a mysterious bug in reading the library files. | Alan Mishchenko | 2011-05-06 | 3 | -21/+20 |
| * | Fixing a bug, which was accidentally introduced a few months while debugging ... | Alan Mishchenko | 2011-05-02 | 1 | -2/+2 |
| * | Added switch to bmc3, which allows to replace some PIs with constants. | Alan Mishchenko | 2011-05-01 | 1 | -9/+21 |
