2013-06-14 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2013-06-10 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2013-05-25 | Sven Verdoolaege | create private copy of isl/int.h | blob | commitdiff |
2012-09-02 | Sven Verdoolaege | relicense isl under the MIT license | 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 |
2009-08-07 | Sven Verdoolaege | make piplib headers private | blob | commitdiff | diff to current |