Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing compilation problems on Linux-32 related to constants of type unsigned... | Alan Mishchenko | 2013-01-30 | 1 | -6/+6 |
* | Corner-case bug fix in &rpm. | Alan Mishchenko | 2012-12-09 | 1 | -9/+24 |
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-06 | 1 | -5/+5 |
* | Fixing out-of-bound problem when collecting GIA nodes. | Alan Mishchenko | 2012-11-02 | 1 | -6/+16 |
* | Structural reparametrization. | Alan Mishchenko | 2012-10-02 | 1 | -1/+10 |
* | Separated truth table computation for GIA manager and added new procedures. | Alan Mishchenko | 2012-10-02 | 1 | -0/+56 |
* | Separated truth table computation for GIA manager and added new procedures. | Alan Mishchenko | 2012-10-02 | 1 | -0/+295 |