| Commit message (Expand) | Author | Age | Files | Lines |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-08 | 1 | -1/+1 |
* | Improvements in AIG visualization. | Alan Mishchenko | 2017-02-05 | 1 | -12/+15 |
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-15 | 1 | -3/+10 |
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-14 | 1 | -6/+8 |
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-13 | 1 | -10/+18 |
* | Adding print-out of critical path for mapped AIGs to &show. | Alan Mishchenko | 2017-01-13 | 1 | -9/+301 |
* | Changing file naming in 'show' and '&show'. | Alan Mishchenko | 2017-01-11 | 1 | -6/+2 |
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-10 | 1 | -6/+0 |
* | Several changes in arithmetic circuit manipulation. | Alan Mishchenko | 2016-12-22 | 1 | -5/+7 |
* | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 1 | -6/+6 |
* | Improvements to GIA visualization. | Alan Mishchenko | 2016-12-08 | 1 | -1/+0 |
* | Improvements to GIA visualization. | Alan Mishchenko | 2016-12-08 | 1 | -265/+505 |
* | Updates to arithmetic verification. | Alan Mishchenko | 2016-08-05 | 1 | -6/+10 |
* | Small changes for today's experiments. | Alan Mishchenko | 2016-06-03 | 1 | -1/+10 |
* | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 1 | -1/+1 |
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-11 | 1 | -1/+1 |
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-08 | 1 | -11/+224 |
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -2/+2 |
* | Update to &show to show AIGs with XORs and MUXes (derived by &st -m). | Alan Mishchenko | 2016-05-04 | 1 | -2/+28 |
* | Enabling native Gia visualization in &show. | Alan Mishchenko | 2016-04-03 | 1 | -0/+369 |