| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Windows complier errors. | Alan Mishchenko | 2016-08-06 | 1 | -2/+2 |
| * | Return the class representative of each function. | Ana Petkovska | 2016-06-18 | 1 | -15/+59 |
| * | Group based exact NPN classification. | Ana Petkovska | 2016-06-18 | 1 | -2/+49 |
| * | New hierarchical TT NPN matching. | Alan Mishchenko | 2016-02-26 | 1 | -0/+143 |
| * | Improvements to the canonical form computation. | Alan Mishchenko | 2013-10-10 | 1 | -0/+99 |
| * | Fixing compilation problems on Linux-32 related to constants of type unsigned... | Alan Mishchenko | 2013-01-30 | 1 | -5/+5 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -3/+11 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -635/+735 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -40/+348 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -88/+0 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -0/+87 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -3/+3 |
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -0/+536 |
