Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Update to 0.13 | Xin LI | 2014-06-30 | 3 | -15/+28 |
* | multiple: reset gslin's maintainer | Eitan Adler | 2014-06-30 | 1 | -1/+1 |
* | - Convert USE_BZIP2 to USES | Dmitry Marakasov | 2014-06-25 | 2 | -4/+5 |
* | isl is a library for manipulating sets and relations of integer points | Martin Wilke | 2014-05-25 | 4 | -0/+90 |