Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Compiler warnings. | Alan Mishchenko | 2013-06-18 | 1 | -1/+0 |
| | |||||
* | Integrating new MFS package with GIA manager. | Alan Mishchenko | 2013-06-04 | 1 | -8/+47 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -2/+2 |
| | |||||
* | Fixing compilation problems on Linux-32 related to constants of type ↵ | Alan Mishchenko | 2013-01-30 | 1 | -6/+6 |
| | | | | unsigned long long. | ||||
* | 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 |