| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Dumping equivalences after SAT sweeping. | Alan Mishchenko | 2022-06-26 | 1 | -0/+1 |
| * | Experiments with the mapper. | Alan Mishchenko | 2022-06-23 | 1 | -0/+43 |
| * | Supporting new resub problem format. | Alan Mishchenko | 2022-06-02 | 1 | -0/+77 |
| * | Bug fix in processing NDR. | Alan Mishchenko | 2021-11-08 | 1 | -7/+23 |
| * | Adding switch to &if to consider special type of 6-input cuts. | Alan Mishchenko | 2019-09-26 | 1 | -0/+56 |
| * | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,... | Alan Mishchenko | 2019-03-05 | 5 | -8/+8 |
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 2 | -2/+2 |
| * | Bug fix in polynomial construction. | Alan Mishchenko | 2018-06-20 | 1 | -3/+3 |
| * | Enabling user-specified output signature in &polyn (bug fix). | Alan Mishchenko | 2018-06-13 | 1 | -1/+1 |
| * | Enabling user-specified output signature in &polyn. | Alan Mishchenko | 2018-06-13 | 1 | -7/+217 |
| * | Experiments with multipliers. | Alan Mishchenko | 2017-03-28 | 1 | -1/+3 |
| * | Experiments with don't-cares. | Alan Mishchenko | 2017-03-26 | 1 | -1/+1 |
| * | 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 |
