2011-12-02 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-11-23 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-11-16 | Sven Verdoolaege | .gitignore: add isl_config.h.in~ | blob | commitdiff |
2011-07-11 | Andreas Kloeckner | Tweak .gitignore | 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 |
2010-08-08 | Uday Kumar Reddy | update .gitignore | blob | commitdiff | diff to current |
2008-08-07 | Sven Verdoolaege | Initial version of the integer set library | blob | commitdiff | diff to current |