summaryrefslogtreecommitdiff
path: root/isl_gmp.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2008-11-08add isl_set_get_hashSven Verdoolaege1-8/+4
2008-10-14use uint_32_t from stdint.h instead of u_int_32_tSven Verdoolaege1-1/+1
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+19