| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| * | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -12/+19 |
| * | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -14/+17 |
| * | Concurrency for Boolean matching. | Alan Mishchenko | 2014-09-18 | 1 | -2/+10 |
| * | Experiments with cofactoring variables. | Alan Mishchenko | 2014-06-20 | 1 | -6/+76 |
| * | Bug fix in timeout of &splitprove. | Alan Mishchenko | 2014-06-16 | 1 | -1/+1 |
| * | Adding support of multi-output problems in &splitprove. | Alan Mishchenko | 2014-06-15 | 1 | -1/+31 |
| * | Adding print-out to &splitprove to see impact of cof variable on AIG size. | Alan Mishchenko | 2014-06-07 | 1 | -5/+5 |
| * | Adding print-out to &splitprove to see impact of cof variable on AIG size. | Alan Mishchenko | 2014-06-07 | 1 | -5/+25 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -0/+4 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -4/+4 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -132/+155 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -5/+5 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -29/+250 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -4/+11 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -6/+7 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -9/+42 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -52/+59 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -2/+1 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -46/+108 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-02 | 1 | -8/+9 |
| * | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-02 | 1 | -20/+160 |
| * | Code to explore cofactors of CEC problems. | Alan Mishchenko | 2014-06-02 | 1 | -0/+213 |
