| Commit message (Expand) | Author | Age | Files | Lines |
* | Reducing print-out in 'bmc3'. | Alan Mishchenko | 2011-08-01 | 1 | -9/+9 |
* | Undoing previous change in 'resim' (do not initialize flops using their value... | Alan Mishchenko | 2011-08-01 | 1 | -2/+12 |
* | Minor bug fix in 'testcex' (made it consider outputs in direct order). | Alan Mishchenko | 2011-08-01 | 1 | -1/+2 |
* | Minor bug fix in 'testcex'. | Alan Mishchenko | 2011-07-31 | 1 | -0/+6 |
* | Added new APIs to the AIG manager. | Alan Mishchenko | 2011-07-31 | 1 | -0/+1 |
* | Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^n... | Alan Mishchenko | 2011-07-31 | 2 | -9/+26 |
* | Added new APIs to integer vector. | Alan Mishchenko | 2011-07-31 | 1 | -0/+40 |
* | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 1 | -0/+452 |
* | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 2 | -1/+5 |
* | Changes to enable smarter simulation (bug fix). | Alan Mishchenko | 2011-07-30 | 1 | -0/+10 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 2 | -1/+15 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 2 | -7/+5 |
* | Added generation of counter-examples to induction in 'ind'. | Alan Mishchenko | 2011-07-30 | 5 | -15/+70 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 5 | -891/+842 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 5 | -82/+319 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-30 | 4 | -30/+184 |
* | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 7 | -82/+581 |
* | Added deriving abstraction in GIA from the precomputed flop map. | Alan Mishchenko | 2011-07-29 | 7 | -62/+115 |
* | Improving and updating the abstraction code. | Alan Mishchenko | 2011-07-29 | 15 | -2076/+962 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-29 | 6 | -85/+982 |
* | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-28 | 1 | -1/+1 |
* | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-28 | 1 | -1/+167 |
* | Adding procedures to find the care bits of a counter-example (update). | Alan Mishchenko | 2011-07-27 | 5 | -59/+746 |
* | Added random generation of 64-bit numbers. | Alan Mishchenko | 2011-07-27 | 2 | -3/+21 |
* | Determine LUT size form the LUT library if present. | Alan Mishchenko | 2011-07-27 | 1 | -1/+5 |
* | Adding procedures to find the care bits of a counter-example (update). | Alan Mishchenko | 2011-07-25 | 3 | -3/+3 |
* | Adding procedures to find the care bits of a counter-example. | Alan Mishchenko | 2011-07-25 | 5 | -4/+439 |
* | Enhancing printing of counter-examples. | Alan Mishchenko | 2011-07-25 | 2 | -3/+33 |
* | Bug fix in how seq cleanup handles cand equiv classes. | Alan Mishchenko | 2011-07-25 | 1 | -1/+3 |
* | 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 | 5 | -0/+438 |
* | 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 |