Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiments with multipliers. | Alan Mishchenko | 2017-03-26 | 2 | -175/+463 |
| | |||||
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-22 | 2 | -0/+928 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-30 | 4 | -5/+400 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-29 | 4 | -143/+152 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-28 | 5 | -10/+422 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-19 | 3 | -24/+90 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-16 | 5 | -30/+55 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-15 | 7 | -23/+359 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-14 | 5 | -28/+157 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-14 | 6 | -94/+171 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-13 | 3 | -268/+298 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-13 | 2 | -2/+63 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-12 | 4 | -9/+452 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-11 | 6 | -214/+297 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-11 | 4 | -31/+257 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-10 | 3 | -4/+283 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-10 | 8 | -47/+71 |
| | |||||
* | Updated to arithmetic verification. | Alan Mishchenko | 2017-01-09 | 4 | -11/+421 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-01-07 | 1 | -1/+1 |
| | |||||
* | C++ compatibility fix. | Alan Mishchenko | 2016-12-28 | 1 | -0/+2 |
| | |||||
* | Several changes in arithmetic circuit manipulation. | Alan Mishchenko | 2016-12-22 | 3 | -1/+311 |
| | |||||
* | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 1 | -0/+204 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2016-12-05 | 1 | -1/+1 |
| | |||||
* | Analysis of arithmetic logic cones. | Alan Mishchenko | 2016-12-04 | 4 | -18/+351 |
| | |||||
* | Changes to arithmetic logic detection. | Alan Mishchenko | 2016-12-02 | 6 | -59/+724 |
| | |||||
* | Small changes in handling arithmetic logic. | Alan Mishchenko | 2016-11-30 | 1 | -2/+8 |
| | |||||
* | Code for profiling arithmetic circuits. | Alan Mishchenko | 2016-10-21 | 1 | -2/+2 |
| | |||||
* | Code for profiling arithmetic circuits. | Alan Mishchenko | 2016-10-21 | 1 | -0/+420 |
| | |||||
* | Code for profiling arithmetic circuits. | Alan Mishchenko | 2016-10-21 | 1 | -0/+1 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2016-10-09 | 2 | -38/+164 |
| | |||||
* | Experimental code for polynomial construction. | Alan Mishchenko | 2016-09-05 | 2 | -2/+1 |
| | |||||
* | Experimental code for polynomial construction. | Alan Mishchenko | 2016-09-05 | 2 | -0/+320 |
| | |||||
* | Experimental code for polynomial construction. | Alan Mishchenko | 2016-09-03 | 2 | -0/+1000 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2016-08-05 | 1 | -35/+54 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2016-08-05 | 5 | -9/+313 |
| | |||||
* | Small changes for today's experiments. | Alan Mishchenko | 2016-06-03 | 1 | -2/+2 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-11 | 6 | -66/+150 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-08 | 6 | -114/+198 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -1/+1 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 9 | -0/+2080 |