summaryrefslogtreecommitdiff
path: root/isl_gmp.c
AgeCommit message (Expand)AuthorFilesLines
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