Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-19 | try and avoid depending on mpz_gcdext internals | Sven Verdoolaege | 1 | -0/+34 |
2013-05-25 | create private copy of isl/int.h | Sven Verdoolaege | 1 | -1/+1 |
2012-09-02 | relicense isl under the MIT license | Sven Verdoolaege | 1 | -1/+1 |
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -1/+1 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2008-11-08 | add isl_set_get_hash | Sven Verdoolaege | 1 | -8/+4 |
2008-10-14 | use uint_32_t from stdint.h instead of u_int_32_t | Sven Verdoolaege | 1 | -1/+1 |
2008-08-08 | Initial version of the integer set library | Sven Verdoolaege | 1 | -0/+19 |