Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improving integration of the 'if' mapper with GIA. | Alan Mishchenko | 2013-06-25 | 1 | -1/+1 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -45/+45 |
| | |||||
* | Small changes to LMS code. | Alan Mishchenko | 2013-04-01 | 1 | -1/+1 |
| | |||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-02 | 1 | -0/+2 |
| | |||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-02 | 1 | -1/+1 |
| | |||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-02 | 1 | -10/+11 |
| | |||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-01 | 1 | -2/+114 |
| | |||||
* | Performance bug fix in choice generation. | Alan Mishchenko | 2012-11-09 | 1 | -2/+2 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-06 | 1 | -245/+228 |
| | |||||
* | Adding dumping truth tables from LMS manager. | Alan Mishchenko | 2012-11-02 | 1 | -12/+87 |
| | |||||
* | Fixing out-of-bound problem when collecting GIA nodes. | Alan Mishchenko | 2012-11-02 | 1 | -0/+5 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 1 | -7/+82 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 1 | -13/+28 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 1 | -28/+10 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 1 | -16/+74 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -4/+15 |
| | |||||
* | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 1 | -42/+1 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -4/+2 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -5/+5 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -14/+159 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -141/+700 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -18/+4 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -0/+450 |