| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Added support for constraints in AIGER (bug fix). | Alan Mishchenko | 2011-07-22 | 1 | -2/+7 |
| * | Adding &equiv3, a new way of refining equivalence classes. | Alan Mishchenko | 2011-07-22 | 4 | -15/+252 |
| * | Added support for constraints in AIGER (bug fix). | Alan Mishchenko | 2011-07-21 | 1 | -3/+3 |
| * | Added support for constraints in AIGER (bug fix). | Alan Mishchenko | 2011-07-21 | 1 | -6/+6 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-21 | 6 | -40/+331 |
| * | Added support for constraints in AIGER (bug fix). | Alan Mishchenko | 2011-07-21 | 3 | -34/+72 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-21 | 1 | -5/+14 |
| * | Added support for constraints in AIGER (bug fix). | Alan Mishchenko | 2011-07-20 | 1 | -3/+3 |
| * | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-20 | 4 | -0/+434 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-20 | 6 | -81/+464 |
| * | New demitering features. | Alan Mishchenko | 2011-07-20 | 4 | -6/+158 |
| * | Added support for constraints in AIGER (bug fix). | Alan Mishchenko | 2011-07-20 | 1 | -0/+5 |
| * | 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 |
| * | Added support for constraints in AIGER. | Alan Mishchenko | 2011-07-20 | 2 | -11/+97 |
| * | Added report about exceeding the conflict limit in 'ind'. | Alan Mishchenko | 2011-07-19 | 1 | -1/+3 |
| * | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-16 | 1 | -1/+17 |
| * | 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 |
