summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecSplit.c
Commit message (Expand)AuthorAgeFilesLines
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
* Adding silent mode to &splitprove.Alan Mishchenko2015-03-141-12/+19
* Adding silent mode to &splitprove.Alan Mishchenko2015-03-141-14/+17
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-2/+10
* Experiments with cofactoring variables.Alan Mishchenko2014-06-201-6/+76
* Bug fix in timeout of &splitprove.Alan Mishchenko2014-06-161-1/+1
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-1/+31
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-5/+5
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-5/+25
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+4
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-4/+4
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-132/+155
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+5
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-29/+250
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-4/+11
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-6/+7
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-9/+42
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-52/+59
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-2/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-46/+108
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-8/+9
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-20/+160
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-021-0/+213