2011-06-04 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-05-20 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-05-05 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-04-25 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-04-21 | Sven Verdoolaege | isl_blk: don't reuse overly large blocks for small... | blob | commitdiff |
2011-03-16 | Sven Verdoolaege | hide isl_ctx internals | blob | commitdiff | diff to current |
2010-11-20 | Sven Verdoolaege | Rename headers from isl_header.h to isl/header.h | blob | commitdiff | diff to current |
2009-12-16 | Sven Verdoolaege | add copyright statements | blob | commitdiff | diff to current |
2008-08-25 | Sven Verdoolaege | keep cache of blocks of isl_ints | blob | commitdiff | diff to current |
2008-08-25 | Sven Verdoolaege | isl_basic_set_sample: remove equalities first | blob | commitdiff | diff to current |
2008-08-07 | Sven Verdoolaege | Initial version of the integer set library | blob | commitdiff | diff to current |